Fix mathematical range: [-1, -128] -> [-128, -1]

The range `[-1, -128]` in the mathematical definition is actually empty.
This PR exchanges the lower and upper bound: `[-128, -1]`.