Doesn't matter, it will be cast to intp anyways.