if not R.is_exact():
# This choice is sufficient to allow the construction of
# QuaternionHermitianEJA(2, field=RDF) with check_axioms=True.
if not R.is_exact():
# This choice is sufficient to allow the construction of
# QuaternionHermitianEJA(2, field=RDF) with check_axioms=True.