HomeIsabelle/Phabricator

Add some extra tests for IEEEReal.scan/fromString from pull request 188. Fix…

Description

Add some extra tests for IEEEReal.scan/fromString from pull request 188. Fix error in IEEEReal.scan.

Details

Provenance
dcjmAuthored on Nov 30 2023, 2:08 PM
Parents
rPOLYML5454a9ca8675: Fix handling overflow in exponent in IEEEReal.fromString (#182). Includes the…
Branches
Unknown
Tags
Unknown