Move floating point operations out of Prelude
Add lib/Data/Floats.idr
Remove Prelude/Complex.idr from base.ipkg
Merge pull request #648 from markuspf/float-prelude

Float prelude