This should indeed be a NativeInt() cast. We'll fix it.


Marco Kalter
Allround Automations