Counting numbers with the digit 4