Fix printing of large numbers