#4021 far_arithmetic test failing for r2k/r2ka with some options

[Philipp Klaus Krause]

I see the far_arithmetic test failing for r2k/r2ka with some command-line options on my Debian GNU/Linux system:

Creating random-15292220506184046352 based on ucr2ka with additional options: --nopurity --nolospre --nogenconstprop --noloopreverse --nosidechannels --max-allocs-per-node 32768 
Running random-15292220506184046352 regression tests
Summary for 'random-15292220506184046352': 1 failures, 36314 tests, 6253 test cases, 6544996 bytes, 647211381 ticks
   Failure: far_arithmetic_type_unsigned_long

Creating random-2803077221261294992 based on ucr2k with additional options: --nopurity --nogenconstprop --nolabelopt --noloopreverse --no-peep --max-allocs-per-node 65536 
Running random-2803077221261294992 regression tests
Summary for 'random-2803077221261294992': 2 failures, 36314 tests, 6253 test cases, 6977982 bytes, 789545226 ticks
   Failure: far_arithmetic_type_unsigned_long

[Philipp Klaus Krause]

Fixed in [r16667].