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