i64 >= f32 / f64
