Standard project: Precision with very large and very small numbers

[Alma Ottedag]

Hello,

in the standard lab we're currently having an issue with the rounding-off and the small/large mathematical expressions using e-x and e+x in a double value in the test for prop_ReadShowExpr. Whe running the test several times it only sometimes gives a falsifiable exception, due to this. (Eg. really large numbers produced or really small..)

We wondered whether there is another way to go about parsing this than checking whether there's an e-x or e+x separately and 'rewriting' this as 0,.... or x*10.... which is quite arduous and looks horrendous. Or any tips, or whether this is just superfluos (which is improbable).

Thank you!