Re: [PD] double precision + benchmarking