i64 ^ max(f32)
