fix failure to read infinity in scanf

fix failure to read infinity in scanf

this code worked in strtod, but not in scanf. more evidence that i
should design a better interface for discarding multiple tail
characters than just calling unget repeatedly...