[
  "number-format",
  123456.789,
  {
    "locale": "ja-JP",
    "currency": "JPY"
  }
]