Small cleanups

- QUOTIENT is integer division
- MINUS is a unary function