Math functions

Implementation of math functions. Design to be discussed. One need is to have tolerance intervals wrt IEEE standards, as an oracle for implementation of math functions. Other needs shall be taken into account.

Cf. https://git.frama-c.com/frama-c/frama-c/issues/30