Числа с плавающей запятой фиксированной ширины в C/C++ ⇐ C++

[Гость]

int обычно имеет длину 32 бита, но в стандарте int не гарантируется постоянная ширина. Итак, если нам нужен 32-битный int, мы включаем stdint.h и используем int32_t.
Есть ли эквивалент для чисел с плавающей запятой? Я понимаю, что с числами с плавающей запятой все немного сложнее, поскольку они не хранятся однородно, т. е. знак, показатель степени, мантисса. Мне просто нужен double, который гарантированно будет храниться в 64 битах с 1 знаковым битом, 10-битной экспонентой и 52/53-битной мантиссой (в зависимости от того, считаете ли вы скрытый бит).