Partial impl. of Section 2.6, "Operations on IEEE-754 Numbers".