VM Arithmetic