add BigRational documentation