Hack to make TYPE-FROM-NUMBER work with types that are registered multiple times...