fix rlToHwtTermSmallAlphabet for element_type uint64_t