>>-ORDINALSUCC(x)----------------------------------------------><
The returned ordinal has the same type as ordinal x.