added finiteness to sum, product, and delta preconditions
optimize imports
added FloatUtils tests
added predecessor and successor demos
add comma conditions to tuple read methods
add finiteness postcondition to deltas
added sum tests
added product tests
added sum and product demos
added underflow warning in docs
added orderedSubstrings
added permutations
added delta tests
added delta demos
Merge branch 'develop'