Added a number pretty printing function.