Re: [PD-dev] Double precision externals extensions.