Is 32 bits too small?