f32 ^ f64 <= f64
