formatting numbers, decimal divider

"Jürgen Herz" <[email protected]> Tue, 1 Jul 2008 14:24:07 +0200
Newsgroups gmane.comp.mozilla.internationalization
Message-ID <[email protected]>
Hello!

I'm writing an extension in which some numbers are output. But in some
countries the decimal divider is a comma, in others a point. Is there
a standard way to get numbers formatted according to the browser
locale?

Regards,
Juergen