# Description: C library for multiple-precision floating-point computations with correct rounding
# URL: http://www.mpfr.org/
# Maintainer: CRUX System Team, core-ports at crux dot nu
# Description: C library for multiple-precision floating-point computations with correct rounding
# URL: http://www.mpfr.org/
# Maintainer: CRUX System Team, core-ports at crux dot nu