Actually on 32-bit it uses a 2^25.5 radix, some are 2^26-bit limbs and others are 2^25.