are these integers?