half(i64 - f32)
