Negative range check should include 2^63.