[zzo38computer]

I think that DER (which is a binary format, although there are ways to make it from text formats) is better, which does have NaN and infinity and other stuff.