half(0.5) ** f32
