Rounding

Replacing a number with a nearby simpler one, on purpose and by a rule.