Re: [PD] denormalized numbers bugfix in PD