pub fn borrowing_sub_n(lhs: &mut [u64], rhs: &[u64], borrow: bool) -> bool
⚠️ lhs -= rhs + borrow
lhs -= rhs + borrow