I'm general idea of what I'm doing the following:

    double zero = 0.0;

    notify(fpnotecatch); //Ignore divide by zero note for a moment

    double pInf = 1.0/zero;

    notify(0); //Back to default note handler

    if(isInf(pInf, 1) <= 0 && isInf(pInf, 0) <= 0) exits("Divide by zero did not result in infinity");

The error "did not result in infinity" is always tripped. My understanding is that according to the spec it should have resulted in either + or - infinity.

I suspect it's not required as there was a note thrown instead, and I can't think of any reason why you would deliberately ignore the note like I do of the top of my head. Thought I would mention it anyway see what input you guys had.

Regards,
Rid.