Non-standard analysis (Robinson, 1966) rescues infinitesimals only by embedding them in a hyperreal ...