Fix confusing document of round_down_cent