Add some tests for formating numbers 1000-9999