Don: > I have no idea why min_exp is defined in such a peculiar way. In > particular, I don't know why it's different from the definition of > min_10_exp. It seems bizarre and useless. If you spot problems in such things it's MUCH better if you try to discuss&fix them now than never :-) Bye and thank you, bearophile