Talk:Double rounding

I thought this would be important enough for its own article, but the explanation in Rounding is probably fine. But in case anyone is up for creating it ... Gah4 (talk) 19:50, 11 December 2020 (UTC)