[Guido] > ... > Please, please, please, unify all these efforts. A decimal PEP would > be a good one, but there should be only one. I elect Michael <wink>. Note there is *no* decimal PEP now -- not even a decimal PEP number assigned. Aahz isn't going to write one, either. I was hoping to write one instead if time allowed, but that looks increasingly unlikely by the hour.