i64 * i64 - f64
