Had same problem, followed dmc’s solution but just added a space in front of the int value to make it a string.
The advantage of using a space rather than another non numeric character is that the subsequently POSTed value can be used directly in a mySQL search clause without having to remove it again.