More self-tests
Generalize definition of floating point properties
Simplify selftests
Simplify program structure
Update comments describing how to look at disassembled code
Add more (necessary) @inline statements