[Python-Dev] RE: decimal API