Polymorphism. This trick allows Ocaml to pass unboxed integer to polymorphic functions.

It’s about compiled code by the way, a lot lower down the stack. That’s the joy of working on a compiler. You deal with both very high level concepts and very low level issues.