Use aeson's tricky logic to get nicer integer representation (pinging @jgm)