[web2py] digit separator symbol for int

[Vineet]

This may be a python question.
My controller returns a 'int' value converted into 'str' (e.g.
123456789) to view.
View renders it --- 123456789.

I wish to render it like -->>  12,34,56,789

How do I do it?

Thanks,

Vineet