ARITHMETIC OF RATIONALS and IRRATIONALS.

See RATIONAL, etc.