It is obvious that $x \leq 0$ if and only if it is not the case that $x<0$. So, we can write
not(x.is_negative())

It is obvious that $x \leq \geq 0$ if and only if it is not the case that $x<0$. So, we can write
not(x.is_negative())