max(f64) ^ min(i32, 1)
