Bugfix: uint32s were not correctly translated by a42root (isEM was broken)