Add JSON_REAL_PRECISION

Fixes #178.