Assertion: real number | /r/HasProperty | inexact
Facets:
value: with both exact
type: OTHER
value: both
type: DEGREE
value: with the same precision
type: MANNER
Source sentences:
text: Two real numbers are eqv? when they are both inexact with the same precision or both exact, and when they are = (except for +nan.0, +nan.f, 0.0, 0.0, -0.0, and -0.0, as noted above).