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