Text this: Non-standard analysis and generalized functions