int vs integer?