Reduce the 128-bit arithmetic compiler bug test case even further