TEfficiency with the kNormal stat error option implements exactly the same algorithm as TH1::Divide with the option “B”.
Both they works in case of integer content or weighted histograms.
The formula for weighted histogram is derived from the weighted maximum likelihood function. This is discussed in this post (this is the correct link, I will fix also in the TH1.cxx code)