/** Numeric postfix decrement. Returns the number and leaves the original * decremented by 1. */ const numeric operator--(numeric & lh, int) { numeric tmp(lh); lh = lh.add(*_num_1_p); return tmp; }