toIx: make cast explicit.
toIx: make cast explicit.