Just "int" is better IMHO.