Table 1: Definition list of predicates from the IEEE-754 specification
