U> TYPE U>=
U>
* U> ( a b -- ab )

unsigned comparison of a and b, see >

FORTH/ANS core ordinary primitive