Executable numerical format families

Each family defines its representation, mathematical interpretation, and supported operations. ExecFloat supplies the common carrier and operation interfaces. External conformance checks live in the separate tests package.