Use Word32 rather than Word16 in IntTrie