Coercions with strings

Approximate a number by a decimal. The first argument is the
required precision. The second argument is the number to
approximate. Num.approx_num_fix uses decimal notation; the first
argument is the number of digits after the decimal point.
approx_num_exp uses scientific (exponential) notation; the
first argument is the number of digits in the mantissa.