#define NTL_ZZ_NBITS (32)
#define NTL_ZZ_FRADIX (((double)(1L<<30))*((double)(1L<<2)))