Core-flavoured wrapper around zarith's arbitrary-precision rationals