Add a specific type for non_finite_number exceptions in writers.

src/json.m:
	Add a new type for use as an exception in JSON writers
	if a non-finite number is encountered.

src/json.writer.m:
	Throw the above kind of exception rather than software_error/1.