Afaik flabmbda can do some float unboxing, and float unboxing is not impossible until you use generic value. Nope, OCaml is not "academic" but a very pragmatic language.