Daniel Fischer pointed out that the timesInteger test result doesn't fir into Int on 32bit platforms.