pub fn full_decrement_64(a: bool, b: u64) -> (bool, u64)
Decrement an integer by one. Take a borrow-in and return a borrow-out.
81 mWU (milli weight units)