Ftx hotfix: Server time format did not match local time format

[Svenmet]

The FTX Exchange sends e.g. "40000**.0" as the bitcoin price in the orderbook. But my local time format is "40000,**0", so the orderbook checksum was wrong and I could not receive the orderbook. This hotfix solve the problem :-)