i64 >= f32 * f32
