So are these ints and not bigints for a reason?