31 Jul
2023
31 Jul
'23
7:45 p.m.
If "tiny" here means "denormal", I don't think we particularly care. compare_float() isn't all that appropriate for comparing numbers close to zero, and denormals are just a special case of that. If we did care about denormals, we should probably just compare the signs; we essentially never want this comparison to succeed for number with opposing signs.