Function: rem*
The remainder of X divided by Y, with the same sign as X.
(fn X Y)