json version is an int