Arrondir, règle de trois