Nonstandard Analysis in Practice