Re: [PPL-devel] Re: Why is _mp_size not of type mp_size_t?