Making sure <gmp.h> and libgmp.* do match

[Vincent Lefevre]

FYI, I've done the follwing for years:

  assert(sizeof(mp_limb_t) * CHAR_BIT == GMP_LIMB_BITS);
  assert(mp_bits_per_limb == GMP_LIMB_BITS);

-- 
Vincent Lefèvre <vincent at vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)