What is this integer?