Nonstandard analysis

I am finding nonstandard analysis more and more natural. I'd like to see a recasting of geometry (envelopes, etc.) in this setting.