X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FBigFloat.hs;h=0bebab9659a2fd8ee22358a39c676661e2fba827;hb=59c49750fd2455574fe4e67ddd7e67a20321c8a8;hp=e23ebe6833bd674be0d5ea1f65dbfe540ec72baf;hpb=fe73028041fe3becce6ce1ff268181d55d54a011;p=numerical-analysis.git

diff --git a/src/BigFloat.hs b/src/BigFloat.hs
index e23ebe6..0bebab9 100644
--- a/src/BigFloat.hs
+++ b/src/BigFloat.hs
@@ -10,6 +10,8 @@ import NumericPrelude hiding (abs)
 import qualified Algebra.Absolute as Absolute
 import qualified Algebra.Additive as Additive
 import qualified Algebra.Field as Field
+import qualified Algebra.RealField as RealField
+import qualified Algebra.RealRing as RealRing
 import qualified Algebra.Ring as Ring
 import qualified Algebra.ToRational as ToRational
 import qualified Algebra.ZeroTestable as ZeroTestable
@@ -38,3 +40,8 @@ instance Epsilon e => ZeroTestable.C (BigFloat e) where
 
 instance Epsilon e => ToRational.C (BigFloat e) where
   toRational = fromRational . P.toRational
+
+instance Epsilon e => RealRing.C (BigFloat e) where
+  floor = fromInteger . P.floor
+
+instance Epsilon e => RealField.C (BigFloat e)