Stéphane Adjemian authored Jan 28, 2020 and Sébastien Villemot committed Jan 30, 2020

If a float smaller than one in absolute value is written without a
leading zero in the mod file, for instance as `.5`, we really need to
prefix the number with a zero. The simplest approach is to convert
the strings representing the numerical constants into floats.

(cherry picked from commit 2479a2a7)