I just checked further, and Apple does not define the function keys past F20, and the numbers in the USB HID keyboard spec do not match the keycodes used by Apple that are defined, specifically Apple defines:
But those numbers are usage IDs, not key codes, which the document does not specify.
Either way, Keyboard Maestro should recognise them as hot keys (but probably not display their names correctly), or as USB Device Keys (and maybe get their name right, maybe not).