31 Jul
2023
31 Jul
'23
9:10 p.m.
Except that I think we do still want to treat 0.0 and -0.0 as equal or near-equal.