[PPL-devel] Clarification on mpz_size()

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? All the best,

Roberto