[deleted] comments on Standard and Nonstandard Numbers