toolbox: Improve floating-point comparison
<fold>