inline the implementation of TotalOrd for integers

minor little performance issue - the vector and string implementations of TotalOrd turn out badly without explicitly inlining this