This PR adds FloatingPoint and FloatingPointValue datatypes as well as a toy FloatingPointAdder.
Related Issue(s)
None
Testing
FloatingPointValue has been tested with round-trip testing with the Dart double. The FloatingPointAdder has been subjected to randomized testing with a loose comparison to native Double operations as it has no rounding mode.
Backwards-compatibility
Is this a breaking change that will not be backwards-compatible? If yes, how so?
No
Documentation
Does the change require any updates to documentation? If so, where? Are they included?
Yes. A simple introductory documentation markdown page is included in this PR.
Description & Motivation
This PR adds FloatingPoint and FloatingPointValue datatypes as well as a toy FloatingPointAdder.
Related Issue(s)
None
Testing
FloatingPointValue has been tested with round-trip testing with the Dart double. The FloatingPointAdder has been subjected to randomized testing with a loose comparison to native Double operations as it has no rounding mode.
Backwards-compatibility
No
Documentation
Yes. A simple introductory documentation markdown page is included in this PR.