this is guaranteed to come back as an integer in the JSON, yeah?