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