pub fn negate_64(a: u64) -> (bool, u64)
Negate the integer (modulo 2⁶⁴) and return the borrow bit.
94 mWU (milli weight units)