Efficiency has a denominator condition

At zero weight displacement, an improvement-per-weight-dose ratio is undefined. Adding $10^{-8}$ to its denominator gives an arbitrary regularized statistic, not a repaired physical efficiency. Theorem thm:zerodose makes this issue particularly important for modulation.