include/marpaWrapper.h: types precision dev+