f64 ^ 1 <= i32
