pub(super) fn sub(a: &mut [u128], b: &[u128], c: u128) -> u128
a -= b + c where c is zero or one. Returns the borrow flag.
a -= b + c
c