integer division strikes again