DV_PROPORTION:
It is strongly recommended to ensure that the denominator is not zero, however this specification does not prevent it, in order to accommodate legacy data or situations that may generate zero values. See
Do we want to add an invariant preventing 0 denominator here, and some short additional text?
invariant is enough. +1