If signbit() were compatible with constexpr, it would work for negative zero. Similarly, frexp() could determine the exponent, though the interface itself is a problem.