Added explanation of negative sign encoding