This library should be loaded when working with rational arithmetic. It defines macros to accept and print rationals in the form Num/Den (in addition to the standard syntax Num_Den). Also, it sets the global flag prefer_rationals, so that the arithmetic division function / yields a rational rather than a floating point result.