proper name for 32 bit machines