switch to double precision