Add a number extension for number formatting

This extension is just a wrapper for number format.