optFloat3.gold

Optimal model:
  max-x+y        = 3.4028235e38 :: Float
                  3  2          1         0
                  1 09876543 21098765432109876543210
                  S ---E8--- ----------S23----------
   Binary layout: 0 11111110 11111111111111111111111
      Hex layout: 7F7F FFFF
       Precision: Single
            Sign: Positive
        Exponent: 127 (Stored: 254, Bias: 127)
  Classification: FP_NORMAL
    Binary Value: 0b1.11111111111111111111111p127
     Octal Value: 0o3.77777774p42
   Decimal Value: 3.4028235e38
       Hex Value: 0xF.FFFFFp31
  x              = 1.7014117e38 :: Float
                  3  2          1         0
                  1 09876543 21098765432109876543210
                  S ---E8--- ----------S23----------
   Binary layout: 0 11111101 11111111111111111111111
      Hex layout: 7EFF FFFF
       Precision: Single
            Sign: Positive
        Exponent: 126 (Stored: 253, Bias: 127)
  Classification: FP_NORMAL
    Binary Value: 0b1.11111111111111111111111p126
     Octal Value: 0o1.77777776p42
   Decimal Value: 1.7014117e38
       Hex Value: 0x7.FFFFF8p31
  y              = 1.7014117e38 :: Float
                  3  2          1         0
                  1 09876543 21098765432109876543210
                  S ---E8--- ----------S23----------
   Binary layout: 0 11111101 11111111111111111111111
      Hex layout: 7EFF FFFF
       Precision: Single
            Sign: Positive
        Exponent: 126 (Stored: 253, Bias: 127)
  Classification: FP_NORMAL
    Binary Value: 0b1.11111111111111111111111p126
     Octal Value: 0o1.77777776p42
   Decimal Value: 1.7014117e38
       Hex Value: 0x7.FFFFF8p31
  metric-max-x+y =   4286578687 :: Word32
                  3 2            1           0
                  1098 7654 3210 9876 5432 1098 7654 3210
   Binary layout: 1111 1111 0111 1111 1111 1111 1111 1111
      Hex layout: FF7F FFFF
            Type: Unsigned 32-bit word
    Binary Value: 0b11111111011111111111111111111111
     Octal Value: 0o37737777777
   Decimal Value: 4286578687
       Hex Value: 0xff7fffff