HomeIsabelle/Phabricator

Fix handling overflow in exponent in IEEEReal.fromString (#182). Includes the…

Description

Fix handling overflow in exponent in IEEEReal.fromString (#182). Includes the examples as a regression test.

Details

Provenance
dcjmAuthored on Nov 22 2023, 1:34 PM
Parents
rPOLYML424af4a8845c: Include tests from #183 now it should be fixed.
Branches
Unknown
Tags
Unknown