just paranoia
I was pretty sure that its always a int, but better a nop than sorry