ParentFull threadDouble_Cast·Why are those sequences equal? Does it generalize, or is it just a coincidence.View on HN