| T_string s1, T_string s2 -> compare s1 s2
| T_int i1, T_int i2 -> compare_big_int i1 i2
| T_float f1, T_float f2 -> compare f1 f2
| T_string s1, T_string s2 -> compare s1 s2
| T_int i1, T_int i2 -> compare_big_int i1 i2
| T_float f1, T_float f2 -> compare f1 f2