Don't quote numbers in pseudo-JSON (related to issue 6669)