[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/)