HomeIsabelle/Phabricator

fromString: remove possible leading zeros in il@fl

Description

fromString: remove possible leading zeros in il@fl

Details

Provenance
quanrong <quanrong@mailbox.org>Authored on May 31 2023, 8:30 PM
Parents
rPOLYML7c75068a3724: fromString: fix overflow when exponent is too long but base is zero
Branches
Unknown
Tags
Unknown

Event Timeline

quanrong <quanrong@mailbox.org> committed rPOLYML0c6a7c1a7ba5: fromString: remove possible leading zeros in il@fl (authored by quanrong <quanrong@mailbox.org>).May 31 2023, 8:30 PM