No. currently, the `op` uses `Number?` instead of ...

# tornadofx

[Ruckus]

No. currently, the op uses Number? instead of Int, so you just have to ensure it isn't null and cast it to an int, but for ObservableIntegerValue, we already know that the return is a non null integer wrapped in a Number.