Classical non-standard analysis already permits neglecting higher-order infinitesimals via the stand...