We're updating the issue view to help you get more done. 

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

Status

Reporter

Pablo Pazos

Labels

None

Components

Affects versions

RM Release 1.0.2

Priority

Minor