This triggered a problem on platforms where int bitwidth is 32-bit.
Add test case reported on the mailing-list.