> ... perhaps worth noting ... Perhaps. But I am distrustful of those who intend 0x8000000000000000 but write -9223372036854775808. > So it's important that it works correctly. Yes, it should work correctly. But if such a corner case works at the cost of some extra resource usage, (VDBE opcodes, prepare time, etc.), that is of little consequence. Do you have a corner case that does not work as documented or as can be expected from facts that are documented?