Shouldn't `<= 0` be translated to `is_nonpositive`?