109.53.00

- Changed `sexp_of_float` to (usually) use as few digits as possible,
  without losing precision.
- Split the part of `Sexplib` that depends on `Num` into a separate
  library, `Sexplib_num`.

  This was done to eliminate the dependence of `Core_kernel` on `Num`,
  which is not usable on javascript.