Wrong float highlight when having digits both before and after the dot

[Gouvernathor]

The 0.0 is part of the default gui.rpy. Notice how the part after the dot gets red iff there's no part before the dot.
Also, when there's no part before the dot, the dot is orange instead of white for some reason, while they should probably be all white or all orange.

[duckdoom4]

Ah yes, those use a slightly different syntax pattern. Thanks for the report :)