Nonstandard real number

  1. redirect Hyperreal number