Risse, T. TOWARDS A MATHEMATICAL LIBRARY FOR UNUMs, AN ALTERNATIVE TO IEEE 754 FLOATING POINT NUMBERS. JICT 2017, 17, 1-16.