Extend Rat.Str to emit exact decimal when possible.