pub fn full_add_64(a: bool, b: u64, c: u64) -> (bool, u64)
Add two integers. Take a carry-in and return a carry-out.
121 mWU (milli weight units)