File fplll.diff of Package gap-float

From: Jan Engelhardt <jengelh@inai.de>
Date: 2017-12-25 21:26:12.464848010 +0100

build: fix compile error with newer fplll

fplll dropped some typedefs.

---
 src/fplll.C |    3 +++
 1 file changed, 3 insertions(+)

Index: float-0.7.6/src/fplll.C
===================================================================
--- float-0.7.6.orig/src/fplll.C
+++ float-0.7.6/src/fplll.C
@@ -103,6 +103,9 @@ template<> Obj GET_INTOBJ(Z_NR<double> &
   return o;
 }
 
+typedef Z_NR<mpz_t> Integer;
+typedef ZZ_mat<mpz_t> IntMatrix;
+
 template <class Z> void SET_Z(Integer &s, const Z_NR<Z> &t);
 
 template <> void SET_Z(Integer &s, const Z_NR<mpz_t> &t)