make sure integer division is handled properly by older versions