i64 * i32 >= f64
