Decimal number support

A very simple change that allows support for decimal numbers in old console commands.