Use numbers for JSON instead of strings.