. some minor style changes
. rationals can now be instantiated (fixes #4)