--- /dev/null
+--
+-- FLOAT8
+--
+CREATE TABLE FLOAT8_TBL(f1 float8);
+INSERT INTO FLOAT8_TBL(f1) VALUES ('0.0');
+INSERT INTO FLOAT8_TBL(f1) VALUES ('1004.30');
+INSERT INTO FLOAT8_TBL(f1) VALUES ('-34.84');
+INSERT INTO FLOAT8_TBL(f1) VALUES ('1.2345678901234e+200');
+INSERT INTO FLOAT8_TBL(f1) VALUES ('1.2345678901234e-200');
+SELECT '' AS five, FLOAT8_TBL.*;
+ five | f1
+------+----------------------
+ | 0
+ | 1004.3
+ | -34.84
+ | 1.2345678901234e+200
+ | 1.2345678901234e-200
+(5 rows)
+
+SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE f.f1 <> '1004.3';
+ four | f1
+------+----------------------
+ | 0
+ | -34.84
+ | 1.2345678901234e+200
+ | 1.2345678901234e-200
+(4 rows)
+
+SELECT '' AS one, f.* FROM FLOAT8_TBL f WHERE f.f1 = '1004.3';
+ one | f1
+-----+--------
+ | 1004.3
+(1 row)
+
+SELECT '' AS three, f.* FROM FLOAT8_TBL f WHERE '1004.3' > f.f1;
+ three | f1
+-------+----------------------
+ | 0
+ | -34.84
+ | 1.2345678901234e-200
+(3 rows)
+
+SELECT '' AS three, f.* FROM FLOAT8_TBL f WHERE f.f1 < '1004.3';
+ three | f1
+-------+----------------------
+ | 0
+ | -34.84
+ | 1.2345678901234e-200
+(3 rows)
+
+SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE '1004.3' >= f.f1;
+ four | f1
+------+----------------------
+ | 0
+ | 1004.3
+ | -34.84
+ | 1.2345678901234e-200
+(4 rows)
+
+SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE f.f1 <= '1004.3';
+ four | f1
+------+----------------------
+ | 0
+ | 1004.3
+ | -34.84
+ | 1.2345678901234e-200
+(4 rows)
+
+SELECT '' AS three, f.f1, f.f1 * '-10' AS x
+ FROM FLOAT8_TBL f
+ WHERE f.f1 > '0.0';
+ three | f1 | x
+-------+----------------------+-----------------------
+ | 1004.3 | -10043
+ | 1.2345678901234e+200 | -1.2345678901234e+201
+ | 1.2345678901234e-200 | -1.2345678901234e-199
+(3 rows)
+
+SELECT '' AS three, f.f1, f.f1 + '-10' AS x
+ FROM FLOAT8_TBL f
+ WHERE f.f1 > '0.0';
+ three | f1 | x
+-------+----------------------+----------------------
+ | 1004.3 | 994.3
+ | 1.2345678901234e+200 | 1.2345678901234e+200
+ | 1.2345678901234e-200 | -10
+(3 rows)
+
+SELECT '' AS three, f.f1, f.f1 / '-10' AS x
+ FROM FLOAT8_TBL f
+ WHERE f.f1 > '0.0';
+ three | f1 | x
+-------+----------------------+-----------------------
+ | 1004.3 | -100.43
+ | 1.2345678901234e+200 | -1.2345678901234e+199
+ | 1.2345678901234e-200 | -1.2345678901234e-201
+(3 rows)
+
+SELECT '' AS three, f.f1, f.f1 - '-10' AS x
+ FROM FLOAT8_TBL f
+ WHERE f.f1 > '0.0';
+ three | f1 | x
+-------+----------------------+----------------------
+ | 1004.3 | 1014.3
+ | 1.2345678901234e+200 | 1.2345678901234e+200
+ | 1.2345678901234e-200 | 10
+(3 rows)
+
+SELECT '' AS one, f.f1 ^ '2.0' AS square_f1
+ FROM FLOAT8_TBL f where f.f1 = '1004.3';
+ one | square_f1
+-----+------------
+ | 1008618.49
+(1 row)
+
+-- absolute value
+SELECT '' AS five, f.f1, @f.f1 AS abs_f1
+ FROM FLOAT8_TBL f;
+ five | f1 | abs_f1
+------+----------------------+----------------------
+ | 0 | 0
+ | 1004.3 | 1004.3
+ | -34.84 | 34.84
+ | 1.2345678901234e+200 | 1.2345678901234e+200
+ | 1.2345678901234e-200 | 1.2345678901234e-200
+(5 rows)
+
+-- truncate
+SELECT '' AS five, f.f1, %f.f1 AS trunc_f1
+ FROM FLOAT8_TBL f;
+ five | f1 | trunc_f1
+------+----------------------+----------------------
+ | 0 | 0
+ | 1004.3 | 1004
+ | -34.84 | -34
+ | 1.2345678901234e+200 | 1.2345678901234e+200
+ | 1.2345678901234e-200 | 0
+(5 rows)
+
+-- round
+SELECT '' AS five, f.f1, f.f1 % AS round_f1
+ FROM FLOAT8_TBL f;
+ five | f1 | round_f1
+------+----------------------+----------------------
+ | 0 | 0
+ | 1004.3 | 1004
+ | -34.84 | -35
+ | 1.2345678901234e+200 | 1.2345678901234e+200
+ | 1.2345678901234e-200 | 0
+(5 rows)
+
+-- ceil
+select ceil(f1) as ceil_f1 from float8_tbl f;
+ ceil_f1
+----------------------
+ 0
+ 1005
+ -34
+ 1.2345678901234e+200
+ 1
+(5 rows)
+
+-- floor
+select floor(f1) as floor_f1 from float8_tbl f;
+ floor_f1
+----------------------
+ 0
+ 1004
+ -35
+ 1.2345678901234e+200
+ 0
+(5 rows)
+
+-- sign
+select sign(f1) as sign_f1 from float8_tbl f;
+ sign_f1
+---------
+ 0
+ 1
+ -1
+ 1
+ 1
+(5 rows)
+
+-- square root
+SELECT sqrt(float8 '64') AS eight;
+ eight
+-------
+ 8
+(1 row)
+
+SELECT |/ float8 '64' AS eight;
+ eight
+-------
+ 8
+(1 row)
+
+SELECT '' AS three, f.f1, |/f.f1 AS sqrt_f1
+ FROM FLOAT8_TBL f
+ WHERE f.f1 > '0.0';
+ three | f1 | sqrt_f1
+-------+----------------------+-----------------------
+ | 1004.3 | 31.6906926399535
+ | 1.2345678901234e+200 | 1.11111110611109e+100
+ | 1.2345678901234e-200 | 1.11111110611109e-100
+(3 rows)
+
+-- take exp of ln(f.f1)
+SELECT '' AS three, f.f1, exp(ln(f.f1)) AS exp_ln_f1
+ FROM FLOAT8_TBL f
+ WHERE f.f1 > '0.0';
+ three | f1 | exp_ln_f1
+-------+----------------------+-----------------------
+ | 1004.3 | 1004.3
+ | 1.2345678901234e+200 | 1.23456789012338e+200
+ | 1.2345678901234e-200 | 1.23456789012339e-200
+(3 rows)
+
+-- cube root
+SELECT ||/ float8 '27' AS three;
+ three
+-------
+ 3
+(1 row)
+
+SELECT '' AS five, f.f1, ||/f.f1 AS cbrt_f1 FROM FLOAT8_TBL f;
+ five | f1 | cbrt_f1
+------+----------------------+-----------------------
+ | 0 | 0
+ | 1004.3 | 10.014312837827
+ | -34.84 | -3.26607421344208
+ | 1.2345678901234e+200 | 4.97933859234765e+066
+ | 1.2345678901234e-200 | 2.3112042409018e-067
+(5 rows)
+
+SELECT '' AS five, FLOAT8_TBL.*;
+ five | f1
+------+----------------------
+ | 0
+ | 1004.3
+ | -34.84
+ | 1.2345678901234e+200
+ | 1.2345678901234e-200
+(5 rows)
+
+UPDATE FLOAT8_TBL
+ SET f1 = FLOAT8_TBL.f1 * '-1'
+ WHERE FLOAT8_TBL.f1 > '0.0';
+SELECT '' AS bad, f.f1 * '1e200' from FLOAT8_TBL f;
+ERROR: type "double precision" value out of range: overflow
+SELECT '' AS bad, f.f1 ^ '1e200' from FLOAT8_TBL f;
+ERROR: result is out of range
+SELECT '' AS bad, ln(f.f1) from FLOAT8_TBL f where f.f1 = '0.0' ;
+ERROR: cannot take logarithm of zero
+SELECT '' AS bad, ln(f.f1) from FLOAT8_TBL f where f.f1 < '0.0' ;
+ERROR: cannot take logarithm of a negative number
+SELECT '' AS bad, exp(f.f1) from FLOAT8_TBL f;
+ERROR: result is out of range
+SELECT '' AS bad, f.f1 / '0.0' from FLOAT8_TBL f;
+ERROR: division by zero
+SELECT '' AS five, FLOAT8_TBL.*;
+ five | f1
+------+-----------------------
+ | 0
+ | -34.84
+ | -1004.3
+ | -1.2345678901234e+200
+ | -1.2345678901234e-200
+(5 rows)
+
+-- test for over- and underflow
+INSERT INTO FLOAT8_TBL(f1) VALUES ('10e400');
+ERROR: "10e400" is out of range for type double precision
+INSERT INTO FLOAT8_TBL(f1) VALUES ('-10e400');
+ERROR: "-10e400" is out of range for type double precision
+INSERT INTO FLOAT8_TBL(f1) VALUES ('10e-400');
+ERROR: "10e-400" is out of range for type double precision
+INSERT INTO FLOAT8_TBL(f1) VALUES ('-10e-400');
+ERROR: "-10e-400" is out of range for type double precision
+-- maintain external table consistency across platforms
+-- delete all values and reinsert well-behaved ones
+DELETE FROM FLOAT8_TBL;
+INSERT INTO FLOAT8_TBL(f1) VALUES ('0.0');
+INSERT INTO FLOAT8_TBL(f1) VALUES ('-34.84');
+INSERT INTO FLOAT8_TBL(f1) VALUES ('-1004.30');
+INSERT INTO FLOAT8_TBL(f1) VALUES ('-1.2345678901234e+200');
+INSERT INTO FLOAT8_TBL(f1) VALUES ('-1.2345678901234e-200');
+SELECT '' AS five, FLOAT8_TBL.*;
+ five | f1
+------+-----------------------
+ | 0
+ | -34.84
+ | -1004.3
+ | -1.2345678901234e+200
+ | -1.2345678901234e-200
+(5 rows)
+
--- /dev/null
+--
+-- INT8
+-- Test int8 64-bit integers.
+--
+CREATE TABLE INT8_TBL(q1 int8, q2 int8);
+INSERT INTO INT8_TBL VALUES('123','456');
+INSERT INTO INT8_TBL VALUES('123','4567890123456789');
+INSERT INTO INT8_TBL VALUES('4567890123456789','123');
+INSERT INTO INT8_TBL VALUES('4567890123456789','4567890123456789');
+INSERT INTO INT8_TBL VALUES('4567890123456789','-4567890123456789');
+SELECT * FROM INT8_TBL;
+ q1 | q2
+------------------+-------------------
+ 123 | 456
+ 123 | 4567890123456789
+ 4567890123456789 | 123
+ 4567890123456789 | 4567890123456789
+ 4567890123456789 | -4567890123456789
+(5 rows)
+
+SELECT '' AS five, q1 AS plus, -q1 AS minus FROM INT8_TBL;
+ five | plus | minus
+------+------------------+-------------------
+ | 123 | -123
+ | 123 | -123
+ | 4567890123456789 | -4567890123456789
+ | 4567890123456789 | -4567890123456789
+ | 4567890123456789 | -4567890123456789
+(5 rows)
+
+SELECT '' AS five, q1, q2, q1 + q2 AS plus FROM INT8_TBL;
+ five | q1 | q2 | plus
+------+------------------+-------------------+------------------
+ | 123 | 456 | 579
+ | 123 | 4567890123456789 | 4567890123456912
+ | 4567890123456789 | 123 | 4567890123456912
+ | 4567890123456789 | 4567890123456789 | 9135780246913578
+ | 4567890123456789 | -4567890123456789 | 0
+(5 rows)
+
+SELECT '' AS five, q1, q2, q1 - q2 AS minus FROM INT8_TBL;
+ five | q1 | q2 | minus
+------+------------------+-------------------+-------------------
+ | 123 | 456 | -333
+ | 123 | 4567890123456789 | -4567890123456666
+ | 4567890123456789 | 123 | 4567890123456666
+ | 4567890123456789 | 4567890123456789 | 0
+ | 4567890123456789 | -4567890123456789 | 9135780246913578
+(5 rows)
+
+SELECT '' AS three, q1, q2, q1 * q2 AS multiply FROM INT8_TBL
+ WHERE q1 < 1000 or (q2 > 0 and q2 < 1000);
+ three | q1 | q2 | multiply
+-------+------------------+------------------+--------------------
+ | 123 | 456 | 56088
+ | 123 | 4567890123456789 | 561850485185185047
+ | 4567890123456789 | 123 | 561850485185185047
+(3 rows)
+
+SELECT '' AS five, q1, q2, q1 / q2 AS divide FROM INT8_TBL;
+ five | q1 | q2 | divide
+------+------------------+-------------------+----------------
+ | 123 | 456 | 0
+ | 123 | 4567890123456789 | 0
+ | 4567890123456789 | 123 | 37137318076884
+ | 4567890123456789 | 4567890123456789 | 1
+ | 4567890123456789 | -4567890123456789 | -1
+(5 rows)
+
+SELECT '' AS five, q1, float8(q1) FROM INT8_TBL;
+ five | q1 | float8
+------+------------------+-----------------------
+ | 123 | 123
+ | 123 | 123
+ | 4567890123456789 | 4.56789012345679e+015
+ | 4567890123456789 | 4.56789012345679e+015
+ | 4567890123456789 | 4.56789012345679e+015
+(5 rows)
+
+SELECT '' AS five, q2, float8(q2) FROM INT8_TBL;
+ five | q2 | float8
+------+-------------------+------------------------
+ | 456 | 456
+ | 4567890123456789 | 4.56789012345679e+015
+ | 123 | 123
+ | 4567890123456789 | 4.56789012345679e+015
+ | -4567890123456789 | -4.56789012345679e+015
+(5 rows)
+
+SELECT '' AS five, 2 * q1 AS "twice int4" FROM INT8_TBL;
+ five | twice int4
+------+------------------
+ | 246
+ | 246
+ | 9135780246913578
+ | 9135780246913578
+ | 9135780246913578
+(5 rows)
+
+SELECT '' AS five, q1 * 2 AS "twice int4" FROM INT8_TBL;
+ five | twice int4
+------+------------------
+ | 246
+ | 246
+ | 9135780246913578
+ | 9135780246913578
+ | 9135780246913578
+(5 rows)
+
+-- TO_CHAR()
+--
+SELECT '' AS to_char_1, to_char(q1, '9G999G999G999G999G999'), to_char(q2, '9,999,999,999,999,999')
+ FROM INT8_TBL;
+ to_char_1 | to_char | to_char
+-----------+------------------------+------------------------
+ | 123 | 456
+ | 123 | 4,567,890,123,456,789
+ | 4,567,890,123,456,789 | 123
+ | 4,567,890,123,456,789 | 4,567,890,123,456,789
+ | 4,567,890,123,456,789 | -4,567,890,123,456,789
+(5 rows)
+
+SELECT '' AS to_char_2, to_char(q1, '9G999G999G999G999G999D999G999'), to_char(q2, '9,999,999,999,999,999.999,999')
+ FROM INT8_TBL;
+ to_char_2 | to_char | to_char
+-----------+--------------------------------+--------------------------------
+ | 123.000,000 | 456.000,000
+ | 123.000,000 | 4,567,890,123,456,789.000,000
+ | 4,567,890,123,456,789.000,000 | 123.000,000
+ | 4,567,890,123,456,789.000,000 | 4,567,890,123,456,789.000,000
+ | 4,567,890,123,456,789.000,000 | -4,567,890,123,456,789.000,000
+(5 rows)
+
+SELECT '' AS to_char_3, to_char( (q1 * -1), '9999999999999999PR'), to_char( (q2 * -1), '9999999999999999.999PR')
+ FROM INT8_TBL;
+ to_char_3 | to_char | to_char
+-----------+--------------------+------------------------
+ | <123> | <456.000>
+ | <123> | <4567890123456789.000>
+ | <4567890123456789> | <123.000>
+ | <4567890123456789> | <4567890123456789.000>
+ | <4567890123456789> | 4567890123456789.000
+(5 rows)
+
+SELECT '' AS to_char_4, to_char( (q1 * -1), '9999999999999999S'), to_char( (q2 * -1), 'S9999999999999999')
+ FROM INT8_TBL;
+ to_char_4 | to_char | to_char
+-----------+-------------------+-------------------
+ | 123- | -456
+ | 123- | -4567890123456789
+ | 4567890123456789- | -123
+ | 4567890123456789- | -4567890123456789
+ | 4567890123456789- | +4567890123456789
+(5 rows)
+
+SELECT '' AS to_char_5, to_char(q2, 'MI9999999999999999') FROM INT8_TBL;
+ to_char_5 | to_char
+-----------+-------------------
+ | 456
+ | 4567890123456789
+ | 123
+ | 4567890123456789
+ | -4567890123456789
+(5 rows)
+
+SELECT '' AS to_char_6, to_char(q2, 'FMS9999999999999999') FROM INT8_TBL;
+ to_char_6 | to_char
+-----------+-------------------
+ | +456
+ | +4567890123456789
+ | +123
+ | +4567890123456789
+ | -4567890123456789
+(5 rows)
+
+SELECT '' AS to_char_7, to_char(q2, 'FM9999999999999999THPR') FROM INT8_TBL;
+ to_char_7 | to_char
+-----------+--------------------
+ | 456TH
+ | 4567890123456789TH
+ | 123RD
+ | 4567890123456789TH
+ | <4567890123456789>
+(5 rows)
+
+SELECT '' AS to_char_8, to_char(q2, 'SG9999999999999999th') FROM INT8_TBL;
+ to_char_8 | to_char
+-----------+---------------------
+ | + 456th
+ | +4567890123456789th
+ | + 123rd
+ | +4567890123456789th
+ | -4567890123456789
+(5 rows)
+
+SELECT '' AS to_char_9, to_char(q2, '0999999999999999') FROM INT8_TBL;
+ to_char_9 | to_char
+-----------+-------------------
+ | 0000000000000456
+ | 4567890123456789
+ | 0000000000000123
+ | 4567890123456789
+ | -4567890123456789
+(5 rows)
+
+SELECT '' AS to_char_10, to_char(q2, 'S0999999999999999') FROM INT8_TBL;
+ to_char_10 | to_char
+------------+-------------------
+ | +0000000000000456
+ | +4567890123456789
+ | +0000000000000123
+ | +4567890123456789
+ | -4567890123456789
+(5 rows)
+
+SELECT '' AS to_char_11, to_char(q2, 'FM0999999999999999') FROM INT8_TBL;
+ to_char_11 | to_char
+------------+-------------------
+ | 0000000000000456
+ | 4567890123456789
+ | 0000000000000123
+ | 4567890123456789
+ | -4567890123456789
+(5 rows)
+
+SELECT '' AS to_char_12, to_char(q2, 'FM9999999999999999.000') FROM INT8_TBL;
+ to_char_12 | to_char
+------------+-----------------------
+ | 456.000
+ | 4567890123456789.000
+ | 123.000
+ | 4567890123456789.000
+ | -4567890123456789.000
+(5 rows)
+
+SELECT '' AS to_char_13, to_char(q2, 'L9999999999999999.000') FROM INT8_TBL;
+ to_char_13 | to_char
+------------+------------------------
+ | 456.000
+ | 4567890123456789.000
+ | 123.000
+ | 4567890123456789.000
+ | -4567890123456789.000
+(5 rows)
+
+SELECT '' AS to_char_14, to_char(q2, 'FM9999999999999999.999') FROM INT8_TBL;
+ to_char_14 | to_char
+------------+--------------------
+ | 456.
+ | 4567890123456789.
+ | 123.
+ | 4567890123456789.
+ | -4567890123456789.
+(5 rows)
+
+SELECT '' AS to_char_15, to_char(q2, 'S 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 . 9 9 9') FROM INT8_TBL;
+ to_char_15 | to_char
+------------+-------------------------------------------
+ | +4 5 6 . 0 0 0
+ | +4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 . 0 0 0
+ | +1 2 3 . 0 0 0
+ | +4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 . 0 0 0
+ | -4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 . 0 0 0
+(5 rows)
+
+SELECT '' AS to_char_16, to_char(q2, '99999 "text" 9999 "9999" 999 "\\"text between quote marks\\"" 9999') FROM INT8_TBL;
+ to_char_16 | to_char
+------------+-----------------------------------------------------------
+ | text 9999 "text between quote marks" 456
+ | 45678 text 9012 9999 345 "text between quote marks" 6789
+ | text 9999 "text between quote marks" 123
+ | 45678 text 9012 9999 345 "text between quote marks" 6789
+ | -45678 text 9012 9999 345 "text between quote marks" 6789
+(5 rows)
+
+SELECT '' AS to_char_17, to_char(q2, '999999SG9999999999') FROM INT8_TBL;
+ to_char_17 | to_char
+------------+-------------------
+ | + 456
+ | 456789+0123456789
+ | + 123
+ | 456789+0123456789
+ | 456789-0123456789
+(5 rows)
+