half(f32 * 1)
