Binary and decimal numeric conversion

Both conversion directions, including exact rational semantics, decimal cohort selection, binary nearest-away rounding, special values and exception flags.