4 CREATE TABLE FLOAT8_TBL(f1 float8);
5 INSERT INTO FLOAT8_TBL(f1) VALUES (' 0.0 ');
6 INSERT INTO FLOAT8_TBL(f1) VALUES ('1004.30 ');
7 INSERT INTO FLOAT8_TBL(f1) VALUES (' -34.84');
8 INSERT INTO FLOAT8_TBL(f1) VALUES ('1.2345678901234e+200');
9 INSERT INTO FLOAT8_TBL(f1) VALUES ('1.2345678901234e-200');
10 -- test for underflow and overflow handling
11 SELECT '10e400'::float8;
12 ERROR: "10e400" is out of range for type double precision
13 SELECT '-10e400'::float8;
14 ERROR: "-10e400" is out of range for type double precision
15 SELECT '10e-400'::float8;
21 SELECT '-10e-400'::float8;
28 INSERT INTO FLOAT8_TBL(f1) VALUES ('');
29 ERROR: invalid input syntax for type double precision: ""
30 INSERT INTO FLOAT8_TBL(f1) VALUES (' ');
31 ERROR: invalid input syntax for type double precision: " "
32 INSERT INTO FLOAT8_TBL(f1) VALUES ('xyz');
33 ERROR: invalid input syntax for type double precision: "xyz"
34 INSERT INTO FLOAT8_TBL(f1) VALUES ('5.0.0');
35 ERROR: invalid input syntax for type double precision: "5.0.0"
36 INSERT INTO FLOAT8_TBL(f1) VALUES ('5 . 0');
37 ERROR: invalid input syntax for type double precision: "5 . 0"
38 INSERT INTO FLOAT8_TBL(f1) VALUES ('5. 0');
39 ERROR: invalid input syntax for type double precision: "5. 0"
40 INSERT INTO FLOAT8_TBL(f1) VALUES (' - 3');
41 ERROR: invalid input syntax for type double precision: " - 3"
42 INSERT INTO FLOAT8_TBL(f1) VALUES ('123 5');
43 ERROR: invalid input syntax for type double precision: "123 5"
57 SELECT ' NAN '::float8;
63 SELECT 'infinity'::float8;
69 SELECT ' -INFINiTY '::float8;
76 SELECT 'N A N'::float8;
77 ERROR: invalid input syntax for type double precision: "N A N"
78 SELECT 'NaN x'::float8;
79 ERROR: invalid input syntax for type double precision: "NaN x"
80 SELECT ' INFINITY x'::float8;
81 ERROR: invalid input syntax for type double precision: " INFINITY x"
82 SELECT 'Infinity'::float8 + 100.0;
88 SELECT 'Infinity'::float8 / 'Infinity'::float8;
94 SELECT 'nan'::float8 / 'nan'::float8;
100 SELECT '' AS five, * FROM FLOAT8_TBL;
102 ------+----------------------
106 | 1.2345678901234e+200
107 | 1.2345678901234e-200
110 SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE f.f1 <> '1004.3';
112 ------+----------------------
115 | 1.2345678901234e+200
116 | 1.2345678901234e-200
119 SELECT '' AS one, f.* FROM FLOAT8_TBL f WHERE f.f1 = '1004.3';
125 SELECT '' AS three, f.* FROM FLOAT8_TBL f WHERE '1004.3' > f.f1;
127 -------+----------------------
130 | 1.2345678901234e-200
133 SELECT '' AS three, f.* FROM FLOAT8_TBL f WHERE f.f1 < '1004.3';
135 -------+----------------------
138 | 1.2345678901234e-200
141 SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE '1004.3' >= f.f1;
143 ------+----------------------
147 | 1.2345678901234e-200
150 SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE f.f1 <= '1004.3';
152 ------+----------------------
156 | 1.2345678901234e-200
159 SELECT '' AS three, f.f1, f.f1 * '-10' AS x
163 -------+----------------------+-----------------------
165 | 1.2345678901234e+200 | -1.2345678901234e+201
166 | 1.2345678901234e-200 | -1.2345678901234e-199
169 SELECT '' AS three, f.f1, f.f1 + '-10' AS x
173 -------+----------------------+----------------------
175 | 1.2345678901234e+200 | 1.2345678901234e+200
176 | 1.2345678901234e-200 | -10
179 SELECT '' AS three, f.f1, f.f1 / '-10' AS x
183 -------+----------------------+-----------------------
185 | 1.2345678901234e+200 | -1.2345678901234e+199
186 | 1.2345678901234e-200 | -1.2345678901234e-201
189 SELECT '' AS three, f.f1, f.f1 - '-10' AS x
193 -------+----------------------+----------------------
195 | 1.2345678901234e+200 | 1.2345678901234e+200
196 | 1.2345678901234e-200 | 10
199 SELECT '' AS one, f.f1 ^ '2.0' AS square_f1
200 FROM FLOAT8_TBL f where f.f1 = '1004.3';
207 SELECT '' AS five, f.f1, @f.f1 AS abs_f1
210 ------+----------------------+----------------------
214 | 1.2345678901234e+200 | 1.2345678901234e+200
215 | 1.2345678901234e-200 | 1.2345678901234e-200
219 SELECT '' AS five, f.f1, trunc(f.f1) AS trunc_f1
222 ------+----------------------+----------------------
226 | 1.2345678901234e+200 | 1.2345678901234e+200
227 | 1.2345678901234e-200 | 0
231 SELECT '' AS five, f.f1, round(f.f1) AS round_f1
234 ------+----------------------+----------------------
238 | 1.2345678901234e+200 | 1.2345678901234e+200
239 | 1.2345678901234e-200 | 0
243 select ceil(f1) as ceil_f1 from float8_tbl f;
245 ----------------------
253 select ceiling(f1) as ceiling_f1 from float8_tbl f;
255 ----------------------
264 select floor(f1) as floor_f1 from float8_tbl f;
266 ----------------------
275 select sign(f1) as sign_f1 from float8_tbl f;
286 SELECT sqrt(float8 '64') AS eight;
292 SELECT |/ float8 '64' AS eight;
298 SELECT '' AS three, f.f1, |/f.f1 AS sqrt_f1
302 -------+----------------------+-----------------------
303 | 1004.3 | 31.6906926399535
304 | 1.2345678901234e+200 | 1.11111110611109e+100
305 | 1.2345678901234e-200 | 1.11111110611109e-100
309 SELECT power(float8 '144', float8 '0.5');
315 -- take exp of ln(f.f1)
316 SELECT '' AS three, f.f1, exp(ln(f.f1)) AS exp_ln_f1
319 three | f1 | exp_ln_f1
320 -------+----------------------+-----------------------
322 | 1.2345678901234e+200 | 1.23456789012338e+200
323 | 1.2345678901234e-200 | 1.23456789012339e-200
327 SELECT ||/ float8 '27' AS three;
333 SELECT '' AS five, f.f1, ||/f.f1 AS cbrt_f1 FROM FLOAT8_TBL f;
335 ------+----------------------+----------------------
337 | 1004.3 | 10.014312837827
338 | -34.84 | -3.26607421344208
339 | 1.2345678901234e+200 | 4.97933859234765e+66
340 | 1.2345678901234e-200 | 2.3112042409018e-67
343 SELECT '' AS five, * FROM FLOAT8_TBL;
345 ------+----------------------
349 | 1.2345678901234e+200
350 | 1.2345678901234e-200
354 SET f1 = FLOAT8_TBL.f1 * '-1'
355 WHERE FLOAT8_TBL.f1 > '0.0';
356 SELECT '' AS bad, f.f1 * '1e200' from FLOAT8_TBL f;
357 ERROR: value out of range: overflow
358 SELECT '' AS bad, f.f1 ^ '1e200' from FLOAT8_TBL f;
359 ERROR: value out of range: overflow
360 SELECT 0 ^ 0 + 0 ^ 1 + 0 ^ 0.0 + 0 ^ 0.5;
366 SELECT '' AS bad, ln(f.f1) from FLOAT8_TBL f where f.f1 = '0.0' ;
367 ERROR: cannot take logarithm of zero
368 SELECT '' AS bad, ln(f.f1) from FLOAT8_TBL f where f.f1 < '0.0' ;
369 ERROR: cannot take logarithm of a negative number
370 SELECT '' AS bad, exp(f.f1) from FLOAT8_TBL f;
371 ERROR: value out of range: underflow
372 SELECT '' AS bad, f.f1 / '0.0' from FLOAT8_TBL f;
373 ERROR: division by zero
374 SELECT '' AS five, * FROM FLOAT8_TBL;
376 ------+-----------------------
380 | -1.2345678901234e+200
381 | -1.2345678901234e-200
384 -- test for over- and underflow
385 INSERT INTO FLOAT8_TBL(f1) VALUES ('10e400');
386 ERROR: "10e400" is out of range for type double precision
387 INSERT INTO FLOAT8_TBL(f1) VALUES ('-10e400');
388 ERROR: "-10e400" is out of range for type double precision
389 INSERT INTO FLOAT8_TBL(f1) VALUES ('10e-400');
390 INSERT INTO FLOAT8_TBL(f1) VALUES ('-10e-400');
391 -- maintain external table consistency across platforms
392 -- delete all values and reinsert well-behaved ones
393 DELETE FROM FLOAT8_TBL;
394 INSERT INTO FLOAT8_TBL(f1) VALUES ('0.0');
395 INSERT INTO FLOAT8_TBL(f1) VALUES ('-34.84');
396 INSERT INTO FLOAT8_TBL(f1) VALUES ('-1004.30');
397 INSERT INTO FLOAT8_TBL(f1) VALUES ('-1.2345678901234e+200');
398 INSERT INTO FLOAT8_TBL(f1) VALUES ('-1.2345678901234e-200');
399 SELECT '' AS five, * FROM FLOAT8_TBL;
401 ------+-----------------------
405 | -1.2345678901234e+200
406 | -1.2345678901234e-200