Assertion: real number | /r/HasProperty | eqv
Facets:
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).