Nicely summarized at http://www.haverford.edu/math/wdavidon/NonStd.html. See also MinusInfinity ---- CategoryMath