-
Stéphane Adjemian authored
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)