Non-standard_analysis loading ...