BIGFIX: corrected sign-handling for divremInt