deinline edwards25519.{add,dbl}