Computation with back propagation of precision in eff