A library for rationals of arbitrary size