double precision evaluation