NUM_GE_CONV : conv
|- n >= m <=> T or |- n >= m <=> F
# NUM_GE_CONV `1 >= 0`;; val it : thm = |- 1 >= 0 <=> T # NUM_GE_CONV `181 >= 211`;; val it : thm = |- 181 >= 211 <=> F