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