The MathResource
standard real number,
n. any non-standard real number that corresponds to an element of the ordinary real numbers.