Re: [boost] [mp_int] Patch for deallocate(NULL)