Make print_number work for non-finite numbers again.

Refs #4865