• A safe integer is an integer that
    • can be exactly represented as an IEEE-754 double precision number, and
    • whose IEEE-75 representation cannot be the result of rounding any other integer to fit the IEEE-754 representation
  • For example, $ 2 ^ {53} - 1 $ is a safe integer,
    • it can be exactly represented