Android 在动画数字中添加格式为货币的数字（10000）

我想为我的活动创建一个加载动画。因此我使用了以下代码：

private void startCountAnimation() {
        animator = ValueAnimator.ofInt(1000, 9000);
        animator.setDuration(500);
        animator.setRepeatCount(ValueAnimator.INFINITE);
        animator.setRepeatMode(ValueAnimator.REVERSE);
        animator.addUpdateListener((animation) -> {
            tvCost.setText(animation.getAnimatedValue().toString());
        });
        animator.start();
    }

---

这将是1000到9000。但我想在计算时使用货币格式。因此，我希望结果显示为1000到9000。

将数字格式化如下：

tvCost.setText(String.format("%10.0f", animation.getAnimatedValue()));

或本地货币：

NumberFormat formatter = NumberFormat.getCurrencyInstance();
String currency = formatter.format(animation.getAnimatedValue());
tvCost.setText(currency);