Re: [PD] "wrong" floating point values in pyext