Здравствуйте, drVanо, Вы писали:
V>В данном случае 10809 — это "указатель" на пикод для ВМ. Если вам интересно пощупать это дело, то демку можно скачать здесь.
Если честно, то выбранный вами способ выглядит наиболее вменяемым:
1. Просто боксим все ValueType объекты, чтобы можно было их передать в VM в единообразном виде через массив object.
2. Для ref- и out- параметров, после возврата из VM присваиваем значения обратно туда, откуда взяли на шаге 1.

Это неэффективно, но надёжно и предсказуемо.
Всякие манипуляции со взятием указателей и т.п. трудно сделать безопасным образом, и ещё труднее сделать это обобщённо для value- и reference-типов.