Inconsistent non-standard analysis has computational advantages over classical non-standard analysis...