Move mp_compare_double_uint64() to trivia/util.h

This function implements common way of precise comparison between
unsigned integer and floating point values (doubles). Currently, it is
used in tuple comparators, but we need the same thing in SQL. Hence,
let's move it to header containing set of utilities.

(cherry picked from commit 72dbeb0e)