Missing space after the number ending with a decimal point

[townewgokgok]

$ luamin -c 'a=5.;print(a)'
a=5.print(a)

Haxe generates such numbers.