For divisors on abelian varieties, Faltings established an optimal bound on the proximity of rational points to the same. We extend this both to the quasiprojective category, where the role of abelian varieties is played by their toroidal extensions, and to holomorphic maps from the line, proving along the way some wholly general dynamic intersection estimates in value distribution theory of independent interest.