Ben Pace comments on Standard and Nonstandard Numbers