JuMPeR.jl
Jason Merrill's blog series :: bisecting floating point numbers