The FRACR field sent to the USBPLL is FRACR[13:0]
and "00000000", which means that bits [21:14] are not used for the
USBPLL.
The online versions of the documents are provided as a courtesy. Verify all content and data in the device’s PDF documentation found on the device product page.