substraction, with check for overflowredefines numeric.infix -:basic operations: 'infix -' (substraction)