Nonstandard aspects of analysis