119   GEN_DBL_TEST (atan (0.0));  in main()
120   GEN_DBL_TEST (atan (-0.0));  in main()
121   GEN_DBL_TEST (atan (7.0 / 16.0));  in main()
122   GEN_DBL_TEST (atan (-7.0 / 16.0));  in main()
123   GEN_DBL_TEST (atan (11.0 / 16.0));  in main()
124   GEN_DBL_TEST (atan (-11.0 / 16.0));  in main()
125   GEN_DBL_TEST (atan (19.0 / 16.0));  in main()
126   GEN_DBL_TEST (atan (-19.0 / 16.0));  in main()
127   GEN_DBL_TEST (atan (39.0 / 16.0));  in main()
128   GEN_DBL_TEST (atan (-39.0 / 16.0));  in main()
129   GEN_DBL_TEST (atan (1.0));  in main()
130   GEN_DBL_TEST (atan (-1.0));  in main()
131   GEN_DBL_TEST (atan (INFINITY));  in main()
132   GEN_DBL_TEST (atan (-INFINITY));  in main()
133   GEN_DBL_TEST (atan (NAN));  in main()
134   GEN_DBL_TEST (atan (6.9 / 16.0));  in main()
135   GEN_DBL_TEST (atan (-6.9 / 16.0));  in main()
136   GEN_DBL_TEST (atan (7.1 / 16.0));  in main()
137   GEN_DBL_TEST (atan (-7.1 / 16.0));  in main()
138   GEN_DBL_TEST (atan (10.9 / 16.0));  in main()
139   GEN_DBL_TEST (atan (-10.9 / 16.0));  in main()
140   GEN_DBL_TEST (atan (11.1 / 16.0));  in main()
141   GEN_DBL_TEST (atan (-11.1 / 16.0));  in main()
142   GEN_DBL_TEST (atan (18.9 / 16.0));  in main()
143   GEN_DBL_TEST (atan (-18.9 / 16.0));  in main()
144   GEN_DBL_TEST (atan (19.1 / 16.0));  in main()
145   GEN_DBL_TEST (atan (-19.1 / 16.0));  in main()
146   GEN_DBL_TEST (atan (38.9 / 16.0));  in main()
147   GEN_DBL_TEST (atan (-38.9 / 16.0));  in main()
148   GEN_DBL_TEST (atan (39.1 / 16.0));  in main()
149   GEN_DBL_TEST (atan (-39.1 / 16.0));  in main()
150   GEN_DBL_TEST (atan (0.99));  in main()
151   GEN_DBL_TEST (atan (-0.99));  in main()
152   GEN_DBL_TEST (atan (1.1));  in main()
153   GEN_DBL_TEST (atan (-1.1));  in main()
154   GEN_DBL_TEST (atan (7.37e+19));  in main()
155   GEN_DBL_TEST (atan (-7.37e+19));  in main()
156   GEN_DBL_TEST (atan (7.38e+19));  in main()
157   GEN_DBL_TEST (atan (-7.38e+19));  in main()
158   GEN_DBL_TEST (atan (0.7));  in main()