_assert(0 < d, "D")