Return the value of an integer JSON key.