PIM: Clarification on the leaf dead-timer

[raviv-arista]

The OpenConfig leaf, /network-instances/network-instance/protocols/protocol/pim/interfaces/interface/config/dead-timer is of type uint16. By definition, this leaf value is supposed to be multiplied by the hello-interval to give the default hold time to to keep neighbor state alive.
See RFC7761,

+--------------------------+----------------------+--------------------+
| Value Name               |  Value               |  Explanation       |
+--------------------------+----------------------+--------------------+
| Default_Hello_Holdtime   |  3.5 * Hello_Period  |  Default holdtime  |
|                          |                      |  to keep neighbor  |
|                          |                      |  state alive       |
+--------------------------+----------------------+--------------------+
| Hello_Holdtime           |  from message        |  Holdtime from     |
|                          |                      |  Hello message     |
|                          |                      |  Holdtime option.  |
+--------------------------+----------------------+--------------------+

The RFC says this value is 3.5 which cannot be stored in a uint16. The type for this leaf should be updated to store floating point values.