Rational type for units of measure

A more idiomatic definition of a Rational type with custom operators.