1-- 2-- FLOAT8 3-- 4 5CREATE TABLE FLOAT8_TBL(f1 float8); 6 7INSERT INTO FLOAT8_TBL(f1) VALUES (' 0.0 '); 8INSERT INTO FLOAT8_TBL(f1) VALUES ('1004.30 '); 9INSERT INTO FLOAT8_TBL(f1) VALUES (' -34.84'); 10INSERT INTO FLOAT8_TBL(f1) VALUES ('1.2345678901234e+200'); 11INSERT INTO FLOAT8_TBL(f1) VALUES ('1.2345678901234e-200'); 12 13-- test for underflow and overflow handling 14SELECT '10e400'::float8; 15SELECT '-10e400'::float8; 16SELECT '10e-400'::float8; 17SELECT '-10e-400'::float8; 18 19-- bad input 20INSERT INTO FLOAT8_TBL(f1) VALUES (''); 21INSERT INTO FLOAT8_TBL(f1) VALUES (' '); 22INSERT INTO FLOAT8_TBL(f1) VALUES ('xyz'); 23INSERT INTO FLOAT8_TBL(f1) VALUES ('5.0.0'); 24INSERT INTO FLOAT8_TBL(f1) VALUES ('5 . 0'); 25INSERT INTO FLOAT8_TBL(f1) VALUES ('5. 0'); 26INSERT INTO FLOAT8_TBL(f1) VALUES (' - 3'); 27INSERT INTO FLOAT8_TBL(f1) VALUES ('123 5'); 28 29-- special inputs 30SELECT 'NaN'::float8; 31SELECT 'nan'::float8; 32SELECT ' NAN '::float8; 33SELECT 'infinity'::float8; 34SELECT ' -INFINiTY '::float8; 35-- bad special inputs 36SELECT 'N A N'::float8; 37SELECT 'NaN x'::float8; 38SELECT ' INFINITY x'::float8; 39 40SELECT 'Infinity'::float8 + 100.0; 41SELECT 'Infinity'::float8 / 'Infinity'::float8; 42SELECT 'nan'::float8 / 'nan'::float8; 43SELECT 'nan'::numeric::float8; 44 45SELECT '' AS five, * FROM FLOAT8_TBL; 46 47SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE f.f1 <> '1004.3'; 48 49SELECT '' AS one, f.* FROM FLOAT8_TBL f WHERE f.f1 = '1004.3'; 50 51SELECT '' AS three, f.* FROM FLOAT8_TBL f WHERE '1004.3' > f.f1; 52 53SELECT '' AS three, f.* FROM FLOAT8_TBL f WHERE f.f1 < '1004.3'; 54 55SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE '1004.3' >= f.f1; 56 57SELECT '' AS four, f.* FROM FLOAT8_TBL f WHERE f.f1 <= '1004.3'; 58 59SELECT '' AS three, f.f1, f.f1 * '-10' AS x 60 FROM FLOAT8_TBL f 61 WHERE f.f1 > '0.0'; 62 63SELECT '' AS three, f.f1, f.f1 + '-10' AS x 64 FROM FLOAT8_TBL f 65 WHERE f.f1 > '0.0'; 66 67SELECT '' AS three, f.f1, f.f1 / '-10' AS x 68 FROM FLOAT8_TBL f 69 WHERE f.f1 > '0.0'; 70 71SELECT '' AS three, f.f1, f.f1 - '-10' AS x 72 FROM FLOAT8_TBL f 73 WHERE f.f1 > '0.0'; 74 75SELECT '' AS one, f.f1 ^ '2.0' AS square_f1 76 FROM FLOAT8_TBL f where f.f1 = '1004.3'; 77 78-- absolute value 79SELECT '' AS five, f.f1, @f.f1 AS abs_f1 80 FROM FLOAT8_TBL f; 81 82-- truncate 83SELECT '' AS five, f.f1, trunc(f.f1) AS trunc_f1 84 FROM FLOAT8_TBL f; 85 86-- round 87SELECT '' AS five, f.f1, round(f.f1) AS round_f1 88 FROM FLOAT8_TBL f; 89 90-- ceil / ceiling 91select ceil(f1) as ceil_f1 from float8_tbl f; 92select ceiling(f1) as ceiling_f1 from float8_tbl f; 93 94-- floor 95select floor(f1) as floor_f1 from float8_tbl f; 96 97-- sign 98select sign(f1) as sign_f1 from float8_tbl f; 99 100-- square root 101SELECT sqrt(float8 '64') AS eight; 102 103SELECT |/ float8 '64' AS eight; 104 105SELECT '' AS three, f.f1, |/f.f1 AS sqrt_f1 106 FROM FLOAT8_TBL f 107 WHERE f.f1 > '0.0'; 108 109-- power 110SELECT power(float8 '144', float8 '0.5'); 111SELECT power(float8 'NaN', float8 '0.5'); 112SELECT power(float8 '144', float8 'NaN'); 113SELECT power(float8 'NaN', float8 'NaN'); 114SELECT power(float8 '-1', float8 'NaN'); 115SELECT power(float8 '1', float8 'NaN'); 116SELECT power(float8 'NaN', float8 '0'); 117 118-- take exp of ln(f.f1) 119SELECT '' AS three, f.f1, exp(ln(f.f1)) AS exp_ln_f1 120 FROM FLOAT8_TBL f 121 WHERE f.f1 > '0.0'; 122 123-- cube root 124SELECT ||/ float8 '27' AS three; 125 126SELECT '' AS five, f.f1, ||/f.f1 AS cbrt_f1 FROM FLOAT8_TBL f; 127 128 129SELECT '' AS five, * FROM FLOAT8_TBL; 130 131UPDATE FLOAT8_TBL 132 SET f1 = FLOAT8_TBL.f1 * '-1' 133 WHERE FLOAT8_TBL.f1 > '0.0'; 134 135SELECT '' AS bad, f.f1 * '1e200' from FLOAT8_TBL f; 136 137SELECT '' AS bad, f.f1 ^ '1e200' from FLOAT8_TBL f; 138 139SELECT 0 ^ 0 + 0 ^ 1 + 0 ^ 0.0 + 0 ^ 0.5; 140 141SELECT '' AS bad, ln(f.f1) from FLOAT8_TBL f where f.f1 = '0.0' ; 142 143SELECT '' AS bad, ln(f.f1) from FLOAT8_TBL f where f.f1 < '0.0' ; 144 145SELECT '' AS bad, exp(f.f1) from FLOAT8_TBL f; 146 147SELECT '' AS bad, f.f1 / '0.0' from FLOAT8_TBL f; 148 149SELECT '' AS five, * FROM FLOAT8_TBL; 150 151-- test for over- and underflow 152INSERT INTO FLOAT8_TBL(f1) VALUES ('10e400'); 153 154INSERT INTO FLOAT8_TBL(f1) VALUES ('-10e400'); 155 156INSERT INTO FLOAT8_TBL(f1) VALUES ('10e-400'); 157 158INSERT INTO FLOAT8_TBL(f1) VALUES ('-10e-400'); 159 160-- maintain external table consistency across platforms 161-- delete all values and reinsert well-behaved ones 162 163DELETE FROM FLOAT8_TBL; 164 165INSERT INTO FLOAT8_TBL(f1) VALUES ('0.0'); 166 167INSERT INTO FLOAT8_TBL(f1) VALUES ('-34.84'); 168 169INSERT INTO FLOAT8_TBL(f1) VALUES ('-1004.30'); 170 171INSERT INTO FLOAT8_TBL(f1) VALUES ('-1.2345678901234e+200'); 172 173INSERT INTO FLOAT8_TBL(f1) VALUES ('-1.2345678901234e-200'); 174 175SELECT '' AS five, * FROM FLOAT8_TBL; 176 177-- test edge-case coercions to integer 178SELECT '32767.4'::float8::int2; 179SELECT '32767.6'::float8::int2; 180SELECT '-32768.4'::float8::int2; 181SELECT '-32768.6'::float8::int2; 182SELECT '2147483647.4'::float8::int4; 183SELECT '2147483647.6'::float8::int4; 184SELECT '-2147483648.4'::float8::int4; 185SELECT '-2147483648.6'::float8::int4; 186SELECT '9223372036854773760'::float8::int8; 187SELECT '9223372036854775807'::float8::int8; 188SELECT '-9223372036854775808.5'::float8::int8; 189SELECT '-9223372036854780000'::float8::int8; 190 191-- test exact cases for trigonometric functions in degrees 192SET extra_float_digits = 3; 193 194SELECT x, 195 sind(x), 196 sind(x) IN (-1,-0.5,0,0.5,1) AS sind_exact 197FROM (VALUES (0), (30), (90), (150), (180), 198 (210), (270), (330), (360)) AS t(x); 199 200SELECT x, 201 cosd(x), 202 cosd(x) IN (-1,-0.5,0,0.5,1) AS cosd_exact 203FROM (VALUES (0), (60), (90), (120), (180), 204 (240), (270), (300), (360)) AS t(x); 205 206SELECT x, 207 tand(x), 208 tand(x) IN ('-Infinity'::float8,-1,0, 209 1,'Infinity'::float8) AS tand_exact, 210 cotd(x), 211 cotd(x) IN ('-Infinity'::float8,-1,0, 212 1,'Infinity'::float8) AS cotd_exact 213FROM (VALUES (0), (45), (90), (135), (180), 214 (225), (270), (315), (360)) AS t(x); 215 216SELECT x, 217 asind(x), 218 asind(x) IN (-90,-30,0,30,90) AS asind_exact, 219 acosd(x), 220 acosd(x) IN (0,60,90,120,180) AS acosd_exact 221FROM (VALUES (-1), (-0.5), (0), (0.5), (1)) AS t(x); 222 223SELECT x, 224 atand(x), 225 atand(x) IN (-90,-45,0,45,90) AS atand_exact 226FROM (VALUES ('-Infinity'::float8), (-1), (0), (1), 227 ('Infinity'::float8)) AS t(x); 228 229SELECT x, y, 230 atan2d(y, x), 231 atan2d(y, x) IN (-90,0,90,180) AS atan2d_exact 232FROM (SELECT 10*cosd(a), 10*sind(a) 233 FROM generate_series(0, 360, 90) AS t(a)) AS t(x,y); 234 235RESET extra_float_digits; 236