represent integers as strings for json compatibility