Clarification on mpz_size()

[Sisyphus]

Roberto Bagnara wrote:
> 
> I have a doubt concerning the interpretation of the documentation of
> `mpz_size()': let `x' be of type `mpz_t'.  Is the intended semantics
> of `mpz_size()' such that the expression
> 
>   mpz_size(x) == 0 || mpz_getlimbn(x, mpz_size(x)-1) != 0
> 
> always evaluates to true?

Yes.

Cheers,
Rob