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

unsigned comparison of a and b, see >>

core ordinary primitive