Nonstandard real number

Redirect to:

• Hyperreal number