try to turn mp_int into mp_int* in P6bigintBody