number formatting for input and output