A capable HyperReal class and related methods for work with infinitesimals and infinities in nonstandard analysis.