>We’ll use the hyperreal numbers from the unsexily named field of nonstandard analysis

There it is.