Fixed error in scanning digits that occur at EOF; protected against bogus fgets versions that touch buffer at EOF.
Fixed error in scanning digits that occur at EOF;
protected against bogus fgets versions that touch buffer at EOF.


kervinck/gigatron-rom,kervinck/gigatron-rom,kervinck/gigatron-rom,kervinck/gigatron-rom,kervinck/gigatron-rom,kervinck/gigatron-rom,kervinck/gigatron-rom