[CLN-list] Floating point overflow discrepancy