Use double precision