i64 > i * f64
