I always drooled over Sollya's fpminimax which implements a correct Remez algorithm over a floating-point domain. It turns out that fpminimax is not that special; it faithfully follows the usual approach to convert a concrete-domain problem (in this case, the original Remez algorithm) into a discrete-domain problem. The only thing I didn't know was the use of LLL lattice basis reduction algorithm. Still interesting though.