max(i64) ^ (i64 / f32)
