trivial change in libmincaml.S
record line in assembly
optimization around floating point load/store
use inlining