67   VERIFY(!(numext::isinf)(float(half(65504.0f))));  // Largest finite number.  in test_conversion()
68   VERIFY(!(numext::isnan)(float(half(0.0f))));  in test_conversion()
69   VERIFY((numext::isinf)(float(half(__half(0xfc00)))));  in test_conversion()
70   VERIFY((numext::isnan)(float(half(__half(0xfc01)))));  in test_conversion()
71   VERIFY((numext::isinf)(float(half(__half(0x7c00)))));  in test_conversion()
72   VERIFY((numext::isnan)(float(half(__half(0x7c01)))));  in test_conversion()
76   VERIFY((numext::isnan)(float(half(0.0 / 0.0))));  in test_conversion()
77   VERIFY((numext::isinf)(float(half(1.0 / 0.0))));  in test_conversion()
78   VERIFY((numext::isinf)(float(half(-1.0 / 0.0))));  in test_conversion()
82   VERIFY(!(numext::isinf)(half(__half(0x7bff))));  in test_conversion()
83   VERIFY(!(numext::isnan)(half(__half(0x0000))));  in test_conversion()
84   VERIFY((numext::isinf)(half(__half(0xfc00))));  in test_conversion()
85   VERIFY((numext::isnan)(half(__half(0xfc01))));  in test_conversion()
86   VERIFY((numext::isinf)(half(__half(0x7c00))));  in test_conversion()
87   VERIFY((numext::isnan)(half(__half(0x7c01))));  in test_conversion()
91   VERIFY((numext::isnan)(half(0.0 / 0.0)));  in test_conversion()
92   VERIFY((numext::isinf)(half(1.0 / 0.0)));  in test_conversion()
93   VERIFY((numext::isinf)(half(-1.0 / 0.0)));  in test_conversion()
120   VERIFY(half(1.0f) > half(0.5f));  in test_comparison()
121   VERIFY(half(0.5f) < half(1.0f));  in test_comparison()
122   VERIFY(!(half(1.0f) < half(0.5f)));  in test_comparison()
123   VERIFY(!(half(0.5f) > half(1.0f)));  in test_comparison()
125   VERIFY(!(half(4.0f) > half(4.0f)));  in test_comparison()
126   VERIFY(!(half(4.0f) < half(4.0f)));  in test_comparison()
128   VERIFY(!(half(0.0f) < half(-0.0f)));  in test_comparison()
129   VERIFY(!(half(-0.0f) < half(0.0f)));  in test_comparison()
130   VERIFY(!(half(0.0f) > half(-0.0f)));  in test_comparison()
131   VERIFY(!(half(-0.0f) > half(0.0f)));  in test_comparison()
133   VERIFY(half(0.2f) > half(-1.0f));  in test_comparison()
134   VERIFY(half(-1.0f) < half(0.2f));  in test_comparison()
135   VERIFY(half(-16.0f) < half(-15.0f));  in test_comparison()
137   VERIFY(half(1.0f) == half(1.0f));  in test_comparison()
138   VERIFY(half(1.0f) != half(2.0f));  in test_comparison()
143   VERIFY(!(half(0.0 / 0.0) == half(0.0 / 0.0)));  in test_comparison()
144   VERIFY(half(0.0 / 0.0) != half(0.0 / 0.0));  in test_comparison()
146   VERIFY(!(half(1.0) == half(0.0 / 0.0)));  in test_comparison()
147   VERIFY(!(half(1.0) < half(0.0 / 0.0)));  in test_comparison()
148   VERIFY(!(half(1.0) > half(0.0 / 0.0)));  in test_comparison()
149   VERIFY(half(1.0) != half(0.0 / 0.0));  in test_comparison()
151   VERIFY(half(1.0) < half(1.0 / 0.0));  in test_comparison()
152   VERIFY(half(1.0) > half(-1.0 / 0.0));  in test_comparison()
230   VERIFY( (a1.abs() >= half(0)).all() );  in test_array()
233   VERIFY( ((a1.min)(a2) <= (a1.max)(a2)).all() );  in test_array()