HomeIsabelle/Phabricator

Combine the float and double conversion code after the first step. Fix bug in…

Description

Combine the float and double conversion code after the first step. Fix bug in floatExponent for 32-bit platforms. Use Boost licence for RealToDecimalConversion.

Details

Provenance
dcjmAuthored on Nov 10 2023, 7:27 PM
Parents
rPOLYMLa07a58acf950: Remove print statement. This now succeeds.
Branches
Unknown
Tags
Unknown