Similarly, the casual use of 1/0 = ∞ is invalid, since the transfer principle applies to the statement that division by zero is undefined.
For any finite hyperreal number x, its standard part, st x, is defined as the unique real number that differs from it only infinitesimally.