f32 <= f64 ^ f32
