lua dkjson: use us_tostring() to fix locale issues with decimals

This only fixes encoding but we don't use decoding anyway.

Fixes #8854
doc: New fortune :)