Fix Integer syntax not supported by 1.8.7

Didn't test the previous fix on 1.8.7 before PRing, I'm not sure if you're intending to support it or not. Ignore if you aren't!