Error parsing floats with >1 trailing zeros in fractional part
Doesn't work:
echo "m m1 xbeta=1.00" | kat3 - --debug
echo "m m1 xbeta=1.000" | kat3 - --debug
echo "m m1 xbeta=2.00" | kat3 - --debug
Works:
echo "m m1 xbeta=1.0" | kat3 - --debug
echo "m m1 xbeta=1.1000" | kat3 - --debug
Seems to be a problem with the tokeniser. Need to add fuzzing tests for this kind of thing.