floating: Add epsilon to the RealFloat class.