lima: use int_to_float lowering pass