A1987dM comments on Standard and Nonstandard Numbers