[dan-robertson]

This is the case for most tagged pointer systems. Indeed most of them come from a time when 32 bit support was required.