DM8148: HDMIPLL_FRACDIV register's FRACTIONALM field format

Hi.

I have a question about HDMIPLL_FRACDIV register's FRACTIONALM field format on DM8148.

For example, Fractional M is 0.5

In the case,

  FRACTIONALM field should set  0x00005 ?

    otherwise,

  FRACTIONALM field should set  0x20000 (Fixed-point) ?

Regards.