Optimal model:
  x     = 1.7976931348623157e308 :: Double
                  6    5          4         3         2         1         0
                  3 21098765432 1098765432109876543210987654321098765432109876543210
                  S ----E11---- ------------------------S52-------------------------
   Binary layout: 0 11111111110 1111111111111111111111111111111111111111111111111111
      Hex layout: 7FEF FFFF FFFF FFFF
       Precision: Double
            Sign: Positive
        Exponent: 1023 (Stored: 2046, Bias: 1023)
  Classification: FP_NORMAL
    Binary Value: 0b1.1111111111111111111111111111111111111111111111111111p1023
     Octal Value: 0o1.777777777777777774p341
   Decimal Value: 1.7976931348623157e308
       Hex Value: 0xF.FFFFFFFFFFFF8p255
  max-x =   18442240474082181119 :: Word64
                  6    5           4            3           2            1           0
                  3210 9876 5432 1098 7654 3210 9876 5432 1098 7654 3210 9876 5432 1098 7654 3210
   Binary layout: 1111 1111 1110 1111 1111 1111 1111 1111 1111 1111 1111 1111 1111 1111 1111 1111
      Hex layout: FFEF FFFF FFFF FFFF
            Type: Unsigned 64-bit word
    Binary Value: -0b1111111111101111111111111111111111111111111111111111111111111111
     Octal Value: -0o1777577777777777777777
   Decimal Value: 18442240474082181119
       Hex Value: -0xffefffffffffffff