Change floating points to double precision