Arbitrary-precision scientific-notation numbers (basvandijk/scientific). Bug fixes mined from upstream history; modern HEAD is the base, each patch reverse-applies a fix to install the original bug. Four PBT backends drive the same property modules: QuickCheck, Hedgehog, Falsify, SmallCheck.
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
FloorDangerouslySmallNegative | 0 | 40 | 0 | bug found |
FromFloatDigitsRoundTrip | 40 | 0 | 0 | — |
ParseEmptyDigitStringRejected | 0 | 40 | 0 | bug found |
ReadsUnambiguous | 0 | 40 | 0 | bug found |