lavalamp comments on Standard and Nonstandard Numbers