3rd argument of JSON.stringify could be a number (merge #188)