HomeIsabelle/Phabricator

Implement the arbitrary precision operations just by calling the long-precision…

Description

Implement the arbitrary precision operations just by calling the long-precision case.

Details

Provenance
dcjmAuthored on Feb 27 2021, 3:49 PM
Parents
rPOLYML1b5308d01939: Implement fixed precision integer multiplication. Extend the bit field and…
Branches
Unknown
Tags
Unknown