i32 >= f32 ^ 0.5
