Firefox extension?

penx has made a few userscripts, which you can use on Firefox with the help of Greasemonkey.

They’re here:

/t/WK-Real-Numbers-userscript/997/1

/t/WK-Real-Times-userscript/1096/1

But as for glorified Firefox extensions, there aren’t any AFAIK. Maybe one day!