Шестнадцатеричные константы с плавающей запятой в C

У меня есть шестнадцатеричная константа с плавающей запятой, которую я Я хочу объявлять прямо в моей программе на C и избегать преобразования. Я считаю, что сначала нужно нормализовать, верно? Как мне нормализовать его и объявить?

// hex constant 0xDE.488631  
double val = 0xDE.488631; // Error must have exponent.
double val = 0x0.DE488631p-2;  // Pretty sure this is wrong.