Tables of fres outputs for sequential inputs:

[40000000]
3EFFF800
3EFE0780
3EFC1700
3EFA2680
3EF83800
3EF66480
3EF49100
3EF2BD80
3EF0EA00
3EEF3180
3EED7900
3EEBC080
3EEA0800
3EE86800
3EE6C800
3EE52800
[40100000]
3EE38800
3EE1FE80
3EE07500
3EDEEB80
3EDD6200
3EDBED00
3EDA7800
3ED90300
3ED79000
3ED62E00
3ED4CC00
3ED36A00
3ED20800
3ED0B800
3ECF6800
3ECE1800
[40200000]
3ECCC800
3ECB8880
3ECA4900
3EC90980
3EC7CA00
3EC69980
3EC56900
3EC43880
3EC30800
3EC1E580
3EC0C300
3EBFA080
3EBE8000
3EBD6B00
3EBC5600
3EBB4100
[40300000]
3EBA2C00
3EB92300
3EB81A00
3EB71100
3EB60800
3EB50A80
3EB40D00
3EB30F80
3EB21400
3EB12180
3EB02F00
3EAF3C80
3EAE4A00
3EAD6180
3EAC7900
3EAB9080
[40400000]
3EAAA800
3EA9C900
3EA8EA00
3EA80B00
3EA72C00
3EA65600
3EA58000
3EA4AA00
3EA3D600
3EA30880
3EA23B00
3EA16D80
3EA09E00
3E9FD880
3E9F1300
3E9E4D80
[40500000]
3E9D8800
3E9CCA00
3E9C0C00
3E9B4E00
3E9A9000
3E99D900
3E992200
3E986B00
3E97AE00
3E970080
3E965300
3E95A580
3E94F800
3E944A80
3E939D00
3E92EF80
[40600000]
3E924400
3E91A280
3E910100
3E905F80
3E8FBE00
3E8F1C80
3E8E7B00
3E8DD980
3E8D3800
3E8CA180
3E8C0B00
3E8B7480
3E8ADE00
3E8A4780
3E89B100
3E891A80
[40700000]
3E888400
3E87F700
3E876A00
3E86DD00
3E865000
3E85C300
3E853600
3E84A900
3E841C00
3E839800
3E831400
3E829000
3E820C00
3E818900
3E810600
3E808300

[3FFE0000]
3F010600
3F0101E8
3F00FDD0
3F00F9B8
3F00F5A0
3F00F188
3F00ED70
3F00E958
3F00E540
3F00E128
3F00DD10
3F00D8F8
3F00D4E0
3F00D0C8
3F00CCB0
3F00C898
[3FFE8000]
3F00C480
3F00C068
3F00BC50
3F00B838
3F00B420
3F00B008
3F00ABF0
3F00A7D8
3F00A3C0
3F009FA8
3F009B90
3F009778
3F009360
3F008F48
3F008B30
3F008718
[3FFF0000]
3F008300
3F007EE8
3F007AD0
3F0076B8
3F0072A0
3F006E88
3F006A70
3F006658
3F006240
3F005E28
3F005A10
3F0055F8
3F0051E0
3F004DC8
3F0049B0
3F004598
[3FFF8000]
3F004180
3F003D68
3F003950
3F003538
3F003120
3F002D08
3F0028F0
3F0024D8
3F0020C0
3F001CA8
3F001890
3F001478
3F001060
3F000C48
3F000830
3F000418
[40000000]
3EFFF800
3EFFE87C
3EFFD8F8
3EFFC974
3EFFB9F0
3EFFAA6C
3EFF9AE8
3EFF8B64
3EFF7BE0
3EFF6C5C
3EFF5CD8
3EFF4D54
3EFF3DD0
3EFF2E4C
3EFF1EC8
3EFF0F44
[40008000]
3EFEFFC0
3EFEF03C
3EFEE0B8
3EFED134
3EFEC1B0
3EFEB22C
3EFEA2A8
3EFE9324
3EFE83A0
3EFE741C
3EFE6498
3EFE5514
3EFE4590
3EFE360C
3EFE2688
3EFE1704
[40010000]
3EFE0780
3EFDF7FC
3EFDE878
3EFDD8F4
3EFDC970
3EFDB9EC
3EFDAA68
3EFD9AE4
3EFD8B60
3EFD7BDC
3EFD6C58
3EFD5CD4
3EFD4D50
3EFD3DCC
3EFD2E48
3EFD1EC4
[40018000]
3EFD0D40
3EFCFFBC
3EFCF038
3EFCE0B4
3EFCD130
3EFCC1AC
3EFCB228
3EFCA2A4
3EFC9320
3EFC839C
3EFC7418
3EFC6494
3EFC5510
3EFC458C
3EFC3608
3EFC2684

[400BF000]
3EEA2388 -- all values repeated 4 times
3EEA21CF[FI]
3EEA2017
3EEA1E5E[FI]
[400BF400]
3EEA1CA6
3EEA1AED[FI]
3EEA1935
3EEA177C[FI]
[400BF800]
3EEA15C4
3EEA140B[FI]
3EEA1253
3EEA109A[FI]
[400BFC00]
3EEA0EE2
3EEA0D29[FI]
3EEA0B7A
3EEA09B8[FI]
[400C0000]
3EEA0800
3EEA0660
3EEA04C0
3EEA0320
[400C0400]
3EEA0180
3EE9FFE0
3EE9FE40
3EE9FCA0
[400C0800]
3EE9FB00
3EE9F960
3EE9F7C0
3EE9F620
[400C0C00]
3EE9F480
3EE9F2E0
3EE9F140
3EE9EFA0

[40000000]
3EFFF800 -- all values repeated 2 times (including FPSCR state)
3EFFF60F[FI]
3EFFF41F
3EFFF22E[FI]
3EFFF03E
3EFFEE4D[FI]
3EFFEC5D
3EFFEA6C[FI]
3EFFE87C
3EFFE68B[FI]
3EFFE49B
3EFFE2AA[FI]
3EFFE0BA
3EFFDEC9[FI]
3EFFDCD9
3EFFDAE8[FI]
[40001000]
3EFFD8F8
3EFFD707[FI]
3EFFD517
3EFFD326[FI]
3EFFD136
3EFFCF45[FI]
3EFFCD55
3EFFCB64[FI]
3EFFC974
3EFFC783[FI]
3EFFC593
3EFFC3A2[FI]
3EFFC1B2
3EFFBFC1[FI]
3EFFBDD1
3EFFBBE0[FI]
[40002000]
3EFFB9F0
3EFFB7FF[FI]
3EFFB60F
3EFFB41E[FI]
3EFFB22E
3EFFB03D[FI]
3EFFAE4D
3EFFAC5C[FI]
3EFFAA6C
3EFFA87B[FI]
3EFFA68B
3EFFA49A[FI]
3EFFA2AA
3EFFA0B9[FI]
3EFF9EC9
3EFF9CD8[FI]
[40003000]
3EFF9AE8
3EFF98F7[FI]
3EFF9707
3EFF9516[FI]
3EFF9E26
3EFF9135[FI]
3EFF8F45
3EFF8D54[FI]
3EFF8B64
3EFF8973[FI]
3EFF8783
3EFF8592[FI]
3EFF83A2
3EFF81B1[FI]
3EFF7FC1
3EFF7DD0[FI]

[7E800000]
007FFC00
007E0B80
007C1C00
007A4880
00787500
0076BC80
00750400
00736400
[7E900000]
0071C400
00703A80
006EB100
006D3C00
006BC800
006A6600
00690400
0067B400
[7EA00000]
00666400
00652480
0063E500
0062B480
00618400
00606180
005F4000
005E2B00
[7EB00000]
005D1600
005C0D00
005B0400
005A0680
00590A00
00581780
00572500
00563C80
[7EC00000]
00555400
00547500
00539600
0052C000
0051EB00
00511D80
00504F00
004F8980
[7ED00000]
004EC400
004E0600
004D4800
004C9100
004BD700
004B2980
004A7C00
0049CE80
[7EE00000]
00492200
00488080
0047DF00
00473D80
00469C00
00460580
00456F00
0044D880
[7EF00000]
00444200
0043B500
00432800
00429B00
00420E00
00418A00
00410600
00408300
[7F000000]
003FFE00
003F05C0
003E0E00
003D2440
003C3A80
003B5E40
003A8200
0039B200
[7F100000]
0038E200
00381D40
00375880
00369E00
0035E400
00353300
00348200
0033DA00
[7F200000]
00333200
00329240
0031F280
00315A40
0030C200
003030C0
002FA000
002F1580
[7F300000]
002E8B00
002E0680
002D8200
002D0340
002C8500
002C0BC0
002B9280
002B1E30
[7F400000]
002AAA00
002A3A80
0029CB00
00296000
0028F580
00288EC0
00282780
0027C4C0
[7F500000]
00276200
00270300
0026A400
00264880
0025EB80
002594C0
00253E00
0024E740
[7F600000]
00249100
00244040
0023EF80
00239EC0
00234E00
002302C0
0022B780
00226C40
[7F700000]
00222100
0021DA80
002A9400
00214D80
00210700
0020C500
00208300
00204180

[7F7F0000]
002020C0
0020207E[UX+FI]
0020203D
00201FFB[UX+FI]
00201FBA
00201F78[UX+FI]
00201F37
00201EF5[UX+FI]
00201EB4
00201E72[UX+FI]
00201E31
00201DEF[UX+FI]
00201DAE
00201D6C[UX+FI]
00201D2B
00201CE9[UX+FI]
[7F7F2000]
...
[7F7FE000]
00200418
002003D6[UX+FI]
00200395
00200353[UX+FI]
00200312
002002D0[UX+FI]
0020028F
0020024D[UX+FI]
0020020C
002001CA[UX+FI]
00200189
00200147[UX+FI]
00200106
002000C4[UX+FI]
00200083
00200041[UX+FI]

[00000000]
7F800000
7F7FFFFF[OX+FI] -- repeats 15 times
[00100000]
7F7FFFFF[OX+FI] -- repeats 16 times
[00200000]
7F7FF800
7F783800
7F70EA00
7F6A0800
7F638800
7F5D6200
7F579000
7F520800
7F4CC800
7F47CA00
7F430800
7F3E8000
7F3A2C00
7F360800
7F321400
7F2E4A00
[00300000]
7F2AA800
7F272C00
7F23D600
7F209E00
7F1D8800
7F1A9000
7F17AE00
7F14F800
7F124400
7F0FBE00
7F0D3800
7F0ADE00
7F088400
7F065000
7F041C00
7F020C00
[00400000]
7EFFF800
7EFC1700
7EF83800
7EF49100
7EF0EA00
7EED7900
7EEA0800
7EE6C800
7EE38800
7EE07500
7EDD6200
7EDA7800
7ED79000
7ED4CC00
7ED20800
7ECF6800
[00500000]
7ECCC800
7ECA4900
7EC7CA00
7EC56900
7EC30800
7EC0C300
7EBE8000
7EBC5600
7EBA2C00
7EB81A00
7EB60800
7EB40D00
7EB21400
7EB02F00
7EAE4A00
7EAC7900
[00600000]
7EAAA800
7EA8EA00
7EA72C00
7EA58000
7EA3D600
7EA23B00
7EA09E00
7E9F1300
7E9D8800
7E9C0C00
7E9A9000
7E992200
7E97AE00
7E965300
7E94F800
7E939D00
[00700000]
7E924400
7E910100
7E8FBE00
7E8E7B00
7E8D3800
7E8C0B00
7E8ADE00
7E89B100
7E888400
7E874A00
7E865000
7E853600
7E841C00
7E831400
7E820C00
7E810600

[00200000]
7FF800 -- all values repeated 4 times (including FPSCR state)
7FF60F[FI]
7FF41F
7FF22E[FI]
[00200100]
7FF03E
7FEE4D[FI]
7FEC5D
7FEA6C[FI]
[00200200]
7FE87C
7FE68B[FI]
7FE49B
7FE2AA[FI]
[00200300]
7FE0BA
7FDEC9[FI]
7FDCD9
7FDAE8[FI]
[00200400]
7FD8F8
7FD707[FI]
7FD517
7FD326[FI]
[00200500]
7FD136
7FCF45[FI]
7FCD55
7FCB64[FI]
[00200600]
7FC974
7FC783[FI]
7FC593
7FC3A2[FI]
[00200700]
7FC1B2
7FBFC1[FI]
7FBDD1
7FBBE0[FI]

fres(sign, exp, mant)
{
    base[] = {0x3FFC,0x3C1C,0x3875,0x3504,0x31C4,0x2EB1,0x2BC8,0x2904,
              0x2664,0x23E5,0x2184,0x1F40,0x1D16,0x1B04,0x190A,0x1725,
              0x1554,0x1396,0x11EB,0x104F,0x0EC4,0x0D48,0x0BD7,0x0A7C,
              0x0922,0x07DF,0x069C,0x056F,0x0442,0x0328,0x020E,0x0106}
    delta[] = {0x3E1,0x3A7,0x371,0x340,0x313,0x2EA,0x2C4,0x2A0,
               0x27F,0x261,0x245,0x22A,0x212,0x1FB,0x1E5,0x1D1,
               0x1BE,0x1AC,0x19B,0x18B,0x17C,0x16E,0x15B,0x15B,
               0x143,0x143,0x12D,0x12D,0x11A,0x11A,0x108,0x106}
    if exp == 0 and mant == 0 return sign, 255, 0  // infinity
    if exp == 255 and mant == 0 return sign, 0, 0  // zero
    if exp == 255 return sign, 255, mant | 1<<22  // quieted NaN
    exp, mant = normalize(exp, mant)
    exp = 253 - exp
    if exp > 254 {
        fpscr[OX] = 1
        fpscr[FI] = 1
        return sign, 254, 0x7FFFFF
    }
    result = (base[mant>>18]<<10) - (delta[mant>>18] * (mant>>8 & 0x3FF))
    FI = result & 1
    mant = result >> 1
    if exp < 1 {
        FI |= mant & 1
        mant = 1<<22 | mant>>1
        if exp < 0 {
            FI |= mant & 1
            mant >>= 1
        }
        if FI fpscr[UX] = 1
    }
    fpscr[FI] = FI
    return sign, exp, mant
}