HomeIsabelle/Phabricator

Rename the conversion functions and include the IEEEReal class in the result.

Description

Rename the conversion functions and include the IEEEReal class in the result. This allows them to work for non-finite values as well.

Details

Provenance
dcjmAuthored on Nov 11 2023, 9:10 AM
Parents
rPOLYML6a4610873c6e: Remove unused variables.
Branches
Unknown
Tags
Unknown