MINI             2815 src/decNumber/decNumber.c       workset.digits=MINI(workset.digits*2-2, maxp);
MINI             5095 src/decNumber/decNumber.c       Int lever=MINI(8-h, maxlever);    // leverage attainable