lima: run opt_algebraic between int_to_float and boot_to_float for vs