Handle DIV overflow in lightrec and the interpreter