i64 <= f64 - f32
