1*c4762a1bSJed BrownPetscIsInfReal(neg_zero) -> False 2*c4762a1bSJed BrownPetscIsInfReal(pos_zero) -> False 3*c4762a1bSJed BrownPetscIsInfReal(neg_one) -> False 4*c4762a1bSJed BrownPetscIsInfReal(pos_one) -> False 5*c4762a1bSJed BrownPetscIsInfReal(neg_inf) -> True 6*c4762a1bSJed BrownPetscIsInfReal(pos_inf) -> True 7*c4762a1bSJed BrownPetscIsInfReal(x_nan) -> False 8*c4762a1bSJed BrownPetscIsNanReal(neg_zero) -> False 9*c4762a1bSJed BrownPetscIsNanReal(pos_zero) -> False 10*c4762a1bSJed BrownPetscIsNanReal(neg_one) -> False 11*c4762a1bSJed BrownPetscIsNanReal(pos_one) -> False 12*c4762a1bSJed BrownPetscIsNanReal(neg_inf) -> False 13*c4762a1bSJed BrownPetscIsNanReal(pos_inf) -> False 14*c4762a1bSJed BrownPetscIsNanReal(x_nan) -> True 15