Json does recognize ints