It's perhaps worth noting (for the discussion not the documents!) that -9223372036854775808 is of interest because it's the decimal representation of 0x8000000000000000 which is bound to come up in bitmasks etc. So it's important that it works correctly.