What means if GMP_NAIL_BITS>0? Each limb has not 64 bits but 63 or 62 bits with reserved bits? GMP_NAIL_BITS>0 is faster or slower than case GMP_NAIL_BITS==0?