(i64 * 0.5) ^ f32
