Fix printing of infinity