hyperreal number

extension of

mention

random

wikipedia