Fixed the count bug when receiving an integer type -- had to divide by
12, since they were sent using printf's %-12d feature.