LWG-3809 Is `subtract_with_carry_engine<uint16_t>` supposed to work?
LWG-3809 Is
subtract_with_carry_engine<uint16_t>supposed to work?