extended 0.1.0

Extended precision 80-bit floating-point numbers (f80).
Documentation