61r_2: Where did "rounding off" come from? Arrondir = rounding or making round. Is "rounding off" a technical term for painters? Should we change throughout ?
@TillmannTaape changed it from "rounding off" to "rounding." Closing.