Two of the three examples which are extracted to ocaml code and then to
javascript are not working, but they were broken since the new extraction
which is bound to the use of Zarith and not Num. They should be
repaired when js_of_ocaml supports Zarith