¿Por qué el resultado fue negativo en el desbordamiento de int32?