Check for bounds overflow in the computed/approximated case