Let me summarize: academic language, it's easy for the GC that way, and "if you though that Float boxing would kill performance you wouldn't have started down this path"
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.
