Identities for irrational numbers