IEEE exception status

Public API for executable IEEE exception-status kernels and their correctness theorems.

Import FloatLib.Floats.Formats.BinaryInterchange.Status.Runtime for the executable definitions without these proofs, or import this module for both.