json: rename json-allow-nans? to json-allow-fp-special?.