improvements to the protocol definitions (using the double-float == 4byte-vector as workaround for now)