In non-standard analysis, the standard part function is a function from the limited (finite) hyperreal numbers to the real numbers.