float(f64) >= i32
