std::subtract_with_carry_engine::