Controller update for countries that use commas as decimal points.

I’ve just committed a couple of very minor code changes to the controller in response to a query on the forum. Turns out I misunderstood how Java’s DecimalFormat class worked, and allowing the locale of the user to change how decimal numbers were formatted for transmission to the board. So the number (for instance) 0.25 was being formatted as 0,25 with a comma. And since I’m using commas to separate parameters, this made it look like 0 and 25 are two separate parameters.

And that made things behave oddly, and anything that has a decimal point in the parameters didn’t work properly.

So, updated code here:

Not urgent unless you’re having a problem, but anyone in much of Europe who might have been having problems with certain commands, should get this.