fixed implementation of INTDIV