countdown: fix bugs in intdiv and strictdiv