half(f32 / 1)
