Skip to main contentCrate hyperreal
Source - Computable
- Computable approximation of a Real number.
- MagnitudeBits
- A known most-significant binary digit for a nonzero value.
- Rational
- Ratio of two integers
- Real
- (More) Real numbers
- RealStructuralFacts
- Conservative public facts about a real value.
- Simple
- An expression consisting of an operator and operands.
These are typically constructed by parsing a string.
- Problem
- Problems when either parsing or attempting Arithmetic with
Real numbers
or when trying to make or convert to a Rational. - RealSign
- Exact sign knowledge exposed by structural inspection.
- ZeroKnowledge
- Whether structural inspection can prove zero or nonzero status.