/ package:exact-pi

Forms the quotient of ExactPi' types (in the arithmetic sense).