libmpfr 4 libmpfr4 (>= 3.1.4)