RE: GMP unboxed number representation