ensure we get an integer and not a "1234"