i64 / f64 <= f32
