[B4HC9] x is an integer less than 0