%が初出だし、もうちょっと単純な演算がいいのでは。

```
if x < 0 then "not natural number" else "natural number"
```