Implement <integer> and <rational>. You know, for the children.

The first bit to implement is the multiprecision <integer>.

Then <rational> will have integer numer and denom in a more-or-less non-surprising way.

The guts of integer will use gmp. A home-grown implementation would have a lot to answer for. Not that it wouldn't be fun ;-)