Range checks for operator DIV and MINUS were incorrect
as reported by Alexandre Esteves