Differentiate integer and float options

[elexis]

The options dialog does support numeric input values ("type": "number"), but misses to distinguish between floating point and integer numbers.

If one enters a float in the batchtrainingsize option, starts a game and trains a unit, the players resource amounts will become NaN.

Reported by PrincipalityOfZeon