Proof technique in non-standard analysis, is less commonly called overflow.