implement integer mul and div in virtual.ml