(f64 * f64) ** i32
