f32 * f64 ^ f32
