Then I would need to cast it to double, since picojson doesn't accept int. Do you want me to change it to int and then cast to double?