Fix normaliztion of asec and acsc.
Avoid wrong log simplification.
Fail only when needed.
Improve extended integration.
A fix for conditional exports.
Fix wrong root simplification introduced in rev. 903.
Avoid unwanted truncation.
Merge install fix from trunk.
Install gmp_wrap.so if needed.
Correct typos (merge from trunk).