# OPTIONAL floating-point diagnostic only; not needed by the exact checker.
mpmath==1.3.0
