JMiller comments on Standard and Nonstandard Numbers

[JMiller]

I suppose it is not simply coincidence that I am reading it right now. Thanks for the suggestion!