isInfinite package:sbv

Is the floating-point number infinity? (Note that both +oo and -oo will satisfy this predicate.)