Encode negative zero