如何确定给定的int64_t是否可以无损地存储在Double中？

我想确定给定的64位整数是否可以无损地存储在Double中。现在我有以下代码：

static_cast<int64_t>(static_cast<double>(value)) == value

但是，我认为这并不总是准确的，因为在某些平台上excess precision。

请注意，我要求的不是largest integer such that all smaller integers can be stored losslessly，它是2^53。我需要知道给定的整数N是否可无损存储，即使N+1和N-1不可存储。

标准库中是否有类似于std::numeric_limits的内容可以告诉我这一点？

---

解决方案

只要低位为0，就可以设置更多的高位(因为可以增加双精度的指数)。我将要求降低为无符号，以使位移位不必担心符号位，但我相信它应该是可适应的。

bool fits_in_double_losslessly (uint64_t v)
{
    const uint64_t largest_int = 1ULL << 53;

    while ((v > largest_int) && !(v & 1))
    {
        v >>= 1;
    }

    return v <= largest_int;
}