libmpfr 4 libmpfr4 (>= 3.1.2)