int(f32 ^ i64)
