Fixed bug introduced in 985d7423.

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.
6 jobs for master in 3 minutes and 30 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #14055
build_linux_32

00:00:43

passed #14056
build_linux_64

00:01:32

passed #14059
macOS
build_macOS

00:02:20

passed #14057
build_windows_32

00:01:33

passed #14058
build_windows_64

00:01:53

 
  Prepare
passed #14060
aggregate_builds

00:00:04