Simplify isinfinity.