0.5 ^ f32 ^ i32
