ensure json dump gets and int and not an int32