Put back unboxing optimisation in ml.ml