Cast disk results as integers in JSON