Add lib/Data/Floats.idr