AutoBuffer JSON serialization now serialize +/- Infinity in the same way
as NaN.

Also bad escaping was removed since it produced incorrect JSON.
Request now generates strict json code.
JSON test corrected.
Fix of constants for Progress.