vm + basic arithmetic support