half(1 / f32)
