print_num() nits.