Expand description
ASN.1 REAL contents octets. ASN.1 BER/DER REAL contents.
REAL is represented by its exact contents octets rather than by a machine floating-point number. This covers arbitrary-size binary mantissas and exponents, ISO 6093 decimal forms, infinities, NaN, and minus zero without rounding or special-value equality problems. DER restricts this representation to the canonical subset required by X.690 §11.3.
Structs§
- Real
- Borrowed, exact BER/DER REAL contents.
Constants§
- ASCII_
COMMA - ASCII_E
- ASCII_
FULL_ STOP - ASCII_
LOWER_ E - ASCII_
MINUS - ASCII_
NINE - ASCII_
ONE - ASCII_
PLUS - ASCII_
SPACE - ASCII_
ZERO - REAL_
DECIMAL_ NR3 - REAL_
MINUS_ INFINITY - REAL_
MINUS_ ZERO - REAL_
NOT_ A_ NUMBER - REAL_
PLUS_ INFINITY
Functions§
- after_
optional_ sign - ascii_
digit - ascii_
digits - ascii_
digits_ have_ nonzero - ascii_
nonzero_ digit - ber_
real_ binary_ wf - ber_
real_ bytes_ wf - ber_
real_ bytes_ wf_ exec - ber_
real_ decimal_ mantissa_ nonzero - ber_
real_ decimal_ nr1_ wf - ber_
real_ decimal_ nr2_ wf - ber_
real_ decimal_ nr3_ wf - ber_
real_ decimal_ significand - ber_
real_ decimal_ wf - decimal_
mantissa_ start - decimal_
mark - der_
real_ binary_ wf - der_
real_ bytes_ wf - der_
real_ bytes_ wf_ exec - der_
real_ decimal_ at - der_
real_ decimal_ wf - der_
real_ exponent_ minimal - der_
real_ special_ wf - exponent_
mark - lemma_
ber_ real_ bytes_ cases - lemma_
decimal_ dot_ matches_ scan - lemma_
decimal_ scan_ characterizes - lemma_
der_ real_ bytes_ cases - real_
bytes_ wf - real_
bytes_ wf_ exec - real_
fmt - scan_
ascii_ digits - skip_
ascii_ spaces