+/* If we don't have a target definition of WIDEST_HARDWARE_FP_SIZE, assume
+ DOUBLE_TYPE_SIZE. We used to default to LONG_DOUBLE_TYPE_SIZE, which now
+ most often maps 128 bits implemented with very inefficient software
+ emulations so is incorrect as a hardware size estimate. */
+