skip leading zeros even after decimal point in floatscan
authorRich Felker <dalias@aerifal.cx>
Sat, 21 Apr 2012 17:50:23 +0000 (13:50 -0400)
committerRich Felker <dalias@aerifal.cx>
Sat, 21 Apr 2012 17:50:23 +0000 (13:50 -0400)
commit2df2a97a20df22f598810b88409eb6107d23e7e1
tree65ec9df277ea879b0aef02cba8117a7e0bc875d1
parent33e7781b5b71eac594b6fa539f6d75939e9b676d
skip leading zeros even after decimal point in floatscan

in principle this should just be an optimization, but it happens to
also fix a nasty bug where values like 0.00000000001 were getting
caught by the early zero detection path and wrongly scanned as zero.
src/internal/floatscan.c