c scanf double precision