On 1/28/25 8:04 PM, Siddhesh Poyarekar wrote:
> ...do you think this would be better off being called 
> ppc_not_well_defined_denormals
> or something like that?

It's better than ppc_default_long_double_not_ieee! :-)

Peter

Reply via email to