Removed global option `options.format.precision`. When formatted, numbers are no longer rounded to 5 digits by default.