float(f32 ^ f32)
