float_tininess_after_rounding 85 lib/libkern/softfloat-specialize.h int float_detect_tininess = float_tininess_after_rounding; float_tininess_after_rounding 139 lib/libkern/softfloat.h float_tininess_after_rounding = 1,