Tinq and OpenSplice talk when using integers