the-q 0.2.0

Verified bounded rational (Q) arithmetic with machine-checked directed rounding
Documentation