How can I use PHP’s NumberFormatter with `PADDING_POSITION` and `CURRENCY`? I’m attempting to achieve the same thing I can achieve in javascript like so:
