DV_PROPORTION denominator != 0

Description

DV_PROPORTION specs doesn't define that the denominator should be != 0.

Is this on purpose?
Is "infinite" a valid value for DV_PROPORTION.magnitude()?
Or is just a missing validity rule?

Environment

None

Reporter

Pablo Pazos

Labels

None

Components

Affects versions

Priority

Minor
Configure