Binary Rational Numbers release for Coq 8.10

Release with Coq 8.10 compatibility, featuring the following changes:

• address the 8.7 change of representation of real constants by extending rationalify_R_goal