Open florianschanda opened 1 year ago
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.
Why do we need this?
phiwuu
commented
5 months ago
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.