Re: [CTPP] Rounding inside the CTPP (long post)