[Python-Dev] PEP for adding a decimal type to Python

Guido van Rossum guido@zope.com
Fri, 27 Jul 2001 12:38:33 -0400

> I elect Michael <wink>.  Note there is *no* decimal PEP now -- not even a
> decimal PEP number assigned.

I thought all PEPs had decimal numbers? :)

> 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.

I'm not sure that Michael would write the PEP we want.  You may be
"it", after all, if you want this done right.

--Guido van Rossum (home page: http://www.python.org/~guido/)