Don't box int when we don't need it