tests: underflow to zero as appropriate in generating the test cases.