double precision instead of single