7.3.1 Copyrights and numeric JSON values