Explicitly force buttonId to be integer