Rounding to Decimal Digits in Binary

Authored by:Martin Mächler inround 0.21-0.2.
Source:Rounding.Rmd, Vignette:Rounding.html. Last updated:2023-10-11.