Small print_num() simplification.