@paul_wp is_int doesn’t work unless…

@paul_wp is_int doesn't work unless it's already an integer, which it wasn't. So I used is_numeric instead.