pub fn sbb_assign(a: &mut Limb, b: Limb, borrow: bool) -> bool
Sets a = a - b - borrow, and returns the borrow.