Correct formatting of \infty.