alternative modelling of decimals
florianschanda opened this issue · 1 comments
florianschanda commented
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.
phiwuu commented
Why do we need this?