update bounds checking of immediate values