2^52 is a rather large number, how likely are you to need larger numbers in log messages? Are those cases distinct enough that you could just use the 'string' type for the number?
S-Expressions seem even more under specified than JSON from what I see from a quick google search