Test for what seems to be an overflow bug