Makes sure (and documents, in a sense) that isinf's declaration as returning
a bint preserves its C semantics.