alternative modelling of decimals

[florianschanda]

We can model decimals as integers and then divide them by a suitably large power of ten. This is not sound, but it is then complete, which may be in the spirit of this tool anyway.

We could make this configurable from the command-line.