better documentation for the Rounding class