Convert a hexadecimal address to dotted IPv4

Given a 32-bit address written in hexadecimal, return it in dotted-decimal IPv4 form, for example C0A80001 becomes 192.168.0.1. Decide and state how you treat an optional 0x prefix, letter case, and input that is too long, too short or not hex.