[throwaway472927]

I'd be a bit surprised if anyone even checked, it's easy to type int out of habit when a number is needed, or even if the dev did consider it the code building and running might be enough reassurance.