make exp Taylor bound work at higher precision (tentative implementation, using math.h)
new binary splitting code for exponentials
Merge remote branch 'origin/master'