of_int n is:
Less if n < 0
Equal if n = 0
Greater if n > 0
to_int t is:
Less -> -1
Equal -> 0
Greater -> 1
It can be useful when writing a comparison function to allow one to return
Ordering.t values and transform them to ints later.