polyfixed

polyfixed provides fixed point realfrac instances for any integral base
number type, along with conversions between any such instances.