i64 * f64 ^ f64
