Some progress on Intl.NumberFormat