earthwormchuck163 comments on Standard and Nonstandard Numbers