f64 >= 1 ^ 1
