Add a CHECK_LT.