r1: 000001000 r2: 000010000, sum: 000011000 prod: 000010000 prod2: 000000100000, prodF: 000000000010000000 r1: (000001.000) 1.00000 r2: (000010.000) 2.00000 sum: (000011.000) 3.00000 prod: (000010.000) 2.00000 prod2: (00000010.0000) 2.00000 prodF: (000000000010.000000) 2.00000 zero: (0000.0000) 0.00000 one: (0001.0000) 1.00000 half: (0000.1000) 0.50000 epsilon: (0000.0001) 0.06250 minBound: (1000.0000) -8.00000 maxBound: (0111.1111) 7.93750 0 - 1 (1111.0000) -1.00000 0 - 1 + half -(1/2) (1111.1000) -0.50000 -0.25 (1111.1100) -0.25000 -0.25/2 (1111.1110) -0.12500 -0.25/4 (1111.1111) -0.06250 -0.25/8 (1111.1111) -0.06250 minBound + epi(1000.0001) -7.93750 maxBound - epi(0111.1110) 7.87500 sum of min and max bounds: (1111.1111) -0.06250 2 * eps (0000.0010) 0.12500 4 * eps (0000.0100) 0.25000 8 * eps (0000.1000) 0.50000 16 * eps (0001.0000) 1.00000 32 * eps (0010.0000) 2.00000 64 * eps (0100.0000) 4.00000 128 * eps(1000.0000) -8.00000 256 * eps(0000.0000) 0.00000 full (1000.0010) -7.87500 4 (1000.0010) -7.8750 3 (1000.0010) -7.875 2 (1000.0010) -7.87 1 (1000.0010) -7.8 0 (1000.0010) -7. x is 0.5156250 1/3 is (0.010101) 0.3281250 1/3 is (0.01010101) 0.3320312 1/3 is (0.0101010101) 0.3330078 1/3 is (000.0101010101010101) 0.3333282 pi is (011.0010010000111111) 3.1415863 -4 (100.0000000000000000) -4.0000000 a bruised 4 is (011.1111111111111111) 3.9999847 r1: 000001001 r2: 000010010, sum: 000011011 prod: 000010100 prod2: 000000101000, prodF: 000000000010100010 r1: (000001.001) 1.12500 r2: (000010.010) 2.25000 sum: (000011.011) 3.37500 prod: (000010.100) 2.50000 prod2: (00000010.1000) 2.50000 prodF: (000000000010.100010) 2.53125 r1: 000001010 r2: 000010100, sum: 000011110 prod: 000011001 prod2: 000000110010, prodF: 000000000011001000 r1: (000001.010) 1.25000 r2: (000010.100) 2.50000 sum: (000011.110) 3.75000 prod: (000011.001) 3.12500 prod2: (00000011.0010) 3.12500 prodF: (000000000011.001000) 3.12500 r1: 000001011 r2: 000010110, sum: 000100001 prod: 000011110 prod2: 000000111100, prodF: 000000000011110010 r1: (000001.011) 1.37500 r2: (000010.110) 2.75000 sum: (000100.001) 4.12500 prod: (000011.110) 3.75000 prod2: (00000011.1100) 3.75000 prodF: (000000000011.110010) 3.78125 r1: 000001100 r2: 000011000, sum: 000100100 prod: 000100100 prod2: 000001001000, prodF: 000000000100100000 r1: (000001.100) 1.50000 r2: (000011.000) 3.00000 sum: (000100.100) 4.50000 prod: (000100.100) 4.50000 prod2: (00000100.1000) 4.50000 prodF: (000000000100.100000) 4.50000 r1: 000001101 r2: 000011010, sum: 000100111 prod: 000101010 prod2: 000001010100, prodF: 000000000101010010 r1: (000001.101) 1.62500 r2: (000011.010) 3.25000 sum: (000100.111) 4.87500 prod: (000101.010) 5.25000 prod2: (00000101.0100) 5.25000 prodF: (000000000101.010010) 5.28125 r1: 000001110 r2: 000011100, sum: 000101010 prod: 000110001 prod2: 000001100010, prodF: 000000000110001000 r1: (000001.110) 1.75000 r2: (000011.100) 3.50000 sum: (000101.010) 5.25000 prod: (000110.001) 6.12500 prod2: (00000110.0010) 6.12500 prodF: (000000000110.001000) 6.12500 r1: 000001111 r2: 000011110, sum: 000101101 prod: 000111000 prod2: 000001110000, prodF: 000000000111000010 r1: (000001.111) 1.87500 r2: (000011.110) 3.75000 sum: (000101.101) 5.62500 prod: (000111.000) 7.00000 prod2: (00000111.0000) 7.00000 prodF: (000000000111.000010) 7.03125 r1: 000010000 r2: 000100000, sum: 000110000 prod: 001000000 prod2: 000010000000, prodF: 000000001000000000 r1: (000010.000) 2.00000 r2: (000100.000) 4.00000 sum: (000110.000) 6.00000 prod: (001000.000) 8.00000 prod2: (00001000.0000) 8.00000 prodF: (000000001000.000000) 8.00000 r1: 000010001 r2: 000100010, sum: 000110011 prod: 001001000 prod2: 000010010000, prodF: 000000001001000010 r1: (000010.001) 2.12500 r2: (000100.010) 4.25000 sum: (000110.011) 6.37500 prod: (001001.000) 9.00000 prod2: (00001001.0000) 9.00000 prodF: (000000001001.000010) 9.03125 r1: 000010010 r2: 000100100, sum: 000110110 prod: 001010001 prod2: 000010100010, prodF: 000000001010001000 r1: (000010.010) 2.25000 r2: (000100.100) 4.50000 sum: (000110.110) 6.75000 prod: (001010.001) 10.12500 prod2: (00001010.0010) 10.12500 prodF: (000000001010.001000) 10.12500 r1: 000010011 r2: 000100110, sum: 000111001 prod: 001011010 prod2: 000010110100, prodF: 000000001011010010 r1: (000010.011) 2.37500 r2: (000100.110) 4.75000 sum: (000111.001) 7.12500 prod: (001011.010) 11.25000 prod2: (00001011.0100) 11.25000 prodF: (000000001011.010010) 11.28125 r1: 000010100 r2: 000101000, sum: 000111100 prod: 001100100 prod2: 000011001000, prodF: 000000001100100000 r1: (000010.100) 2.50000 r2: (000101.000) 5.00000 sum: (000111.100) 7.50000 prod: (001100.100) 12.50000 prod2: (00001100.1000) 12.50000 prodF: (000000001100.100000) 12.50000 r1: 000010101 r2: 000101010, sum: 000111111 prod: 001101110 prod2: 000011011100, prodF: 000000001101110010 r1: (000010.101) 2.62500 r2: (000101.010) 5.25000 sum: (000111.111) 7.87500 prod: (001101.110) 13.75000 prod2: (00001101.1100) 13.75000 prodF: (000000001101.110010) 13.78125 r1: 000010110 r2: 000101100, sum: 001000010 prod: 001111001 prod2: 000011110010, prodF: 000000001111001000 r1: (000010.110) 2.75000 r2: (000101.100) 5.50000 sum: (001000.010) 8.25000 prod: (001111.001) 15.12500 prod2: (00001111.0010) 15.12500 prodF: (000000001111.001000) 15.12500 r1: 000010111 r2: 000101110, sum: 001000101 prod: 010000100 prod2: 000100001000, prodF: 000000010000100010 r1: (000010.111) 2.87500 r2: (000101.110) 5.75000 sum: (001000.101) 8.62500 prod: (010000.100) 16.50000 prod2: (00010000.1000) 16.50000 prodF: (000000010000.100010) 16.53125 r1: 000011000 r2: 000110000, sum: 001001000 prod: 010010000 prod2: 000100100000, prodF: 000000010010000000 r1: (000011.000) 3.00000 r2: (000110.000) 6.00000 sum: (001001.000) 9.00000 prod: (010010.000) 18.00000 prod2: (00010010.0000) 18.00000 prodF: (000000010010.000000) 18.00000 r1: 000011001 r2: 000110010, sum: 001001011 prod: 010011100 prod2: 000100111000, prodF: 000000010011100010 r1: (000011.001) 3.12500 r2: (000110.010) 6.25000 sum: (001001.011) 9.37500 prod: (010011.100) 19.50000 prod2: (00010011.1000) 19.50000 prodF: (000000010011.100010) 19.53125 r1: 000011010 r2: 000110100, sum: 001001110 prod: 010101001 prod2: 000101010010, prodF: 000000010101001000 r1: (000011.010) 3.25000 r2: (000110.100) 6.50000 sum: (001001.110) 9.75000 prod: (010101.001) 21.12500 prod2: (00010101.0010) 21.12500 prodF: (000000010101.001000) 21.12500 r1: 000011011 r2: 000110110, sum: 001010001 prod: 010110110 prod2: 000101101100, prodF: 000000010110110010 r1: (000011.011) 3.37500 r2: (000110.110) 6.75000 sum: (001010.001) 10.12500 prod: (010110.110) 22.75000 prod2: (00010110.1100) 22.75000 prodF: (000000010110.110010) 22.78125 r1: 000011100 r2: 000111000, sum: 001010100 prod: 011000100 prod2: 000110001000, prodF: 000000011000100000 r1: (000011.100) 3.50000 r2: (000111.000) 7.00000 sum: (001010.100) 10.50000 prod: (011000.100) 24.50000 prod2: (00011000.1000) 24.50000 prodF: (000000011000.100000) 24.50000 r1: 000011101 r2: 000111010, sum: 001010111 prod: 011010010 prod2: 000110100100, prodF: 000000011010010010 r1: (000011.101) 3.62500 r2: (000111.010) 7.25000 sum: (001010.111) 10.87500 prod: (011010.010) 26.25000 prod2: (00011010.0100) 26.25000 prodF: (000000011010.010010) 26.28125 r1: 000011110 r2: 000111100, sum: 001011010 prod: 011100001 prod2: 000111000010, prodF: 000000011100001000 r1: (000011.110) 3.75000 r2: (000111.100) 7.50000 sum: (001011.010) 11.25000 prod: (011100.001) 28.12500 prod2: (00011100.0010) 28.12500 prodF: (000000011100.001000) 28.12500 r1: 000011111 r2: 000111110, sum: 001011101 prod: 011110000 prod2: 000111100000, prodF: 000000011110000010 r1: (000011.111) 3.87500 r2: (000111.110) 7.75000 sum: (001011.101) 11.62500 prod: (011110.000) 30.00000 prod2: (00011110.0000) 30.00000 prodF: (000000011110.000010) 30.03125 r1: 000100000 r2: 001000000, sum: 001100000 prod: 011111111 prod2: 001000000000, prodF: 000000100000000000 r1: (000100.000) 4.00000 r2: (001000.000) 8.00000 sum: (001100.000) 12.00000 prod: (011111.111) 31.87500 prod2: (00100000.0000) 32.00000 prodF: (000000100000.000000) 32.00000 r1: 000100001 r2: 001000010, sum: 001100011 prod: 011111111 prod2: 001000100000, prodF: 000000100010000010 r1: (000100.001) 4.12500 r2: (001000.010) 8.25000 sum: (001100.011) 12.37500 prod: (011111.111) 31.87500 prod2: (00100010.0000) 34.00000 prodF: (000000100010.000010) 34.03125 r1: 000100010 r2: 001000100, sum: 001100110 prod: 011111111 prod2: 001001000010, prodF: 000000100100001000 r1: (000100.010) 4.25000 r2: (001000.100) 8.50000 sum: (001100.110) 12.75000 prod: (011111.111) 31.87500 prod2: (00100100.0010) 36.12500 prodF: (000000100100.001000) 36.12500 r1: 000100011 r2: 001000110, sum: 001101001 prod: 011111111 prod2: 001001100100, prodF: 000000100110010010 r1: (000100.011) 4.37500 r2: (001000.110) 8.75000 sum: (001101.001) 13.12500 prod: (011111.111) 31.87500 prod2: (00100110.0100) 38.25000 prodF: (000000100110.010010) 38.28125 r1: 000100100 r2: 001001000, sum: 001101100 prod: 011111111 prod2: 001010001000, prodF: 000000101000100000 r1: (000100.100) 4.50000 r2: (001001.000) 9.00000 sum: (001101.100) 13.50000 prod: (011111.111) 31.87500 prod2: (00101000.1000) 40.50000 prodF: (000000101000.100000) 40.50000 r1: 000100101 r2: 001001010, sum: 001101111 prod: 011111111 prod2: 001010101100, prodF: 000000101010110010 r1: (000100.101) 4.62500 r2: (001001.010) 9.25000 sum: (001101.111) 13.87500 prod: (011111.111) 31.87500 prod2: (00101010.1100) 42.75000 prodF: (000000101010.110010) 42.78125 r1: 000100110 r2: 001001100, sum: 001110010 prod: 011111111 prod2: 001011010010, prodF: 000000101101001000 r1: (000100.110) 4.75000 r2: (001001.100) 9.50000 sum: (001110.010) 14.25000 prod: (011111.111) 31.87500 prod2: (00101101.0010) 45.12500 prodF: (000000101101.001000) 45.12500 r1: 000100111 r2: 001001110, sum: 001110101 prod: 011111111 prod2: 001011111000, prodF: 000000101111100010 r1: (000100.111) 4.87500 r2: (001001.110) 9.75000 sum: (001110.101) 14.62500 prod: (011111.111) 31.87500 prod2: (00101111.1000) 47.50000 prodF: (000000101111.100010) 47.53125 r1: 000101000 r2: 001010000, sum: 001111000 prod: 011111111 prod2: 001100100000, prodF: 000000110010000000 r1: (000101.000) 5.00000 r2: (001010.000) 10.00000 sum: (001111.000) 15.00000 prod: (011111.111) 31.87500 prod2: (00110010.0000) 50.00000 prodF: (000000110010.000000) 50.00000 r1: 000101001 r2: 001010010, sum: 001111011 prod: 011111111 prod2: 001101001000, prodF: 000000110100100010 r1: (000101.001) 5.12500 r2: (001010.010) 10.25000 sum: (001111.011) 15.37500 prod: (011111.111) 31.87500 prod2: (00110100.1000) 52.50000 prodF: (000000110100.100010) 52.53125 r1: 000101010 r2: 001010100, sum: 001111110 prod: 011111111 prod2: 001101110010, prodF: 000000110111001000 r1: (000101.010) 5.25000 r2: (001010.100) 10.50000 sum: (001111.110) 15.75000 prod: (011111.111) 31.87500 prod2: (00110111.0010) 55.12500 prodF: (000000110111.001000) 55.12500 r1: 000101011 r2: 001010110, sum: 010000001 prod: 011111111 prod2: 001110011100, prodF: 000000111001110010 r1: (000101.011) 5.37500 r2: (001010.110) 10.75000 sum: (010000.001) 16.12500 prod: (011111.111) 31.87500 prod2: (00111001.1100) 57.75000 prodF: (000000111001.110010) 57.78125 r1: 000101100 r2: 001011000, sum: 010000100 prod: 011111111 prod2: 001111001000, prodF: 000000111100100000 r1: (000101.100) 5.50000 r2: (001011.000) 11.00000 sum: (010000.100) 16.50000 prod: (011111.111) 31.87500 prod2: (00111100.1000) 60.50000 prodF: (000000111100.100000) 60.50000 r1: 000101101 r2: 001011010, sum: 010000111 prod: 011111111 prod2: 001111110100, prodF: 000000111111010010 r1: (000101.101) 5.62500 r2: (001011.010) 11.25000 sum: (010000.111) 16.87500 prod: (011111.111) 31.87500 prod2: (00111111.0100) 63.25000 prodF: (000000111111.010010) 63.28125 r1: 000101110 r2: 001011100, sum: 010001010 prod: 011111111 prod2: 010000100010, prodF: 000001000010001000 r1: (000101.110) 5.75000 r2: (001011.100) 11.50000 sum: (010001.010) 17.25000 prod: (011111.111) 31.87500 prod2: (01000010.0010) 66.12500 prodF: (000001000010.001000) 66.12500 r1: 000101111 r2: 001011110, sum: 010001101 prod: 011111111 prod2: 010001010000, prodF: 000001000101000010 r1: (000101.111) 5.87500 r2: (001011.110) 11.75000 sum: (010001.101) 17.62500 prod: (011111.111) 31.87500 prod2: (01000101.0000) 69.00000 prodF: (000001000101.000010) 69.03125 r1: 000110000 r2: 001100000, sum: 010010000 prod: 011111111 prod2: 010010000000, prodF: 000001001000000000 r1: (000110.000) 6.00000 r2: (001100.000) 12.00000 sum: (010010.000) 18.00000 prod: (011111.111) 31.87500 prod2: (01001000.0000) 72.00000 prodF: (000001001000.000000) 72.00000 r1: 000110001 r2: 001100010, sum: 010010011 prod: 011111111 prod2: 010010110000, prodF: 000001001011000010 r1: (000110.001) 6.12500 r2: (001100.010) 12.25000 sum: (010010.011) 18.37500 prod: (011111.111) 31.87500 prod2: (01001011.0000) 75.00000 prodF: (000001001011.000010) 75.03125