Function borrowing_sub 

pub(crate) const fn borrowing_sub(
    lhs: Word,
    rhs: Word,
    borrow: Word,
) -> (Word, Word)

Computes lhs - (rhs + borrow), returning the result along with the new borrow.