Presumably this article from 1990 does not mention C99's hexadecimal floating-point literals, for example: printf("%a\n", 0x1p-10); It's a shame that JSON doe

Presumably this article from 1990 does not mention C99's hexadecimal floating-point literals, for example: printf("%a\n", 0x1p-10); It's a shame that JSON doesn't accept them.