Added double precision