Etymology
Today it means: Reversal or removal of the act of rounding, as in mathematics or linguistics. Full definition →
From de- + rounding.
Etymology from Wiktionary, CC BY-SA 4.0.