Ensure to not copy twice the BoostBigInt constructor mp_int argument.