Serialize P6num correctly