i64 ^ f64 > 1 + i64
