Adjust x to be in [0,p) @param bound if greater than zero, assume that no more than bound additions or subtractions are required to move x into range.
See Implementation
Adjust x to be in [0,p) @param bound if greater than zero, assume that no more than bound additions or subtractions are required to move x into range.