Change DV_COUNT.magnitude to a Real

Some countable objects can be partial, such as tablets (1 1/2 tablets),
glasses of alcohol etc. These need to be allowed for in the DV_COUNT
type. However it should be possible to limit DV_COUNT to have only
integral magnitudes for things such as "previous pregnancies" etc.