Now this can be
```
if (!(!num)) num.asInstanceOf[Int]
```
:)