Correct record and builtin stack layout on 32 bit architectures.
Correct print of mpz_t in base 255 on 32 bit arches.