[
  "number-format",
  123456.789,
  {
    "locale": "de-DE",
    "currency": "EUR"
  }
]