Failing comparisons between certain (Ui|I)nt64 numbers

Some 64-bit (unsigned) integers are not compared correctly (see attached test).