Number formatting for HTML pages