Make Time, DateTime, & TimeWithZone JSON encode use same number of decimals

Can set ActiveSupport.json_time_decimal_precision to number of decimal places
to show when using ISO 8601 standard for dates and times.