is this an integer?