Implements the p-adic rational number system described by Hehner and Horspool in http://www.db.toronto.edu/~hehner/ratno.pdf