the-q 0.2.1

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