@misc{2017-library-mpfr, day = {16}, kind = {library}, month = jun, note = {rev 5drDp7GU3t4vy8xLSFL8CNPftbSpJ6}, title = {mpfr}, version = {rev 5drDp7GU3t4vy8xLSFL8CNPftbSpJ6}, year = {2017} }