Rounding options

Authored by:Lukas Jung inscrutiny 0.6.1.
Source:rounding-options.Rmd, Vignette:rounding-options.html. Last updated:2025-08-22.