f64 <= i64 ^ 1
