The spec explicitly mentions that those values are allowed and all the operating systems and browsers do in fact support them:
For keyboards that provide more than 12 function keys, the code value follows the pattern shown above with "F" followed by the function key number - "F13", "F14", "F15", and so on.
The spec explicitly mentions that those values are allowed and all the operating systems and browsers do in fact support them: