to-json(number)

Formats a number as a string with four digits after the dot.