What is this $comma identifier?

You know, I had hoped there was an identifier that put comma's in a number. You know, $comma(9000000) = 9,000,000. Searched throughout the help file, I had hoped this $comma thing was it when I saw this but I jsut got * /echo: insufficient parameters.