Switch test to use __floatdidf

The `__floatdidf` builtin uses a more conventional type--`double`--which
means we don't have to guess at the representation of `tf_float`.

tests/general/builtin-floatditf.c → tests/general/builtin-floatdidf.c

@@ -4,7 +4,7 @@
 #include <assert.h>
 
 int main() {
-  tf_float f = __floatditf(0);
+  double f = __floatdidf(0);
   assert(f == 0.0);
   return 0;
 }