- no more classic display for ocamlc
- compilation warnings removed

Non regression results were similar to master branch

functional: keep it as is
non func: introduce a fresh local var v and replace assert(e) by v=e; assert (v);

mostly a recovery of an ancient svn repo: mutations

nice bug correction wrt constants with a large number of digits. Would raise exception when comparing these constants

Intregrate all modifs by Teme et al