norm_infty = fromInteger
instance Normed Rational where
- norm_p _ = fromRational
- norm_infty = fromRational
+ norm_p _ = realToFrac
+ norm_infty = realToFrac
instance Epsilon e => Normed (BigFloat e) where
- norm_p _ = fromRational . toRational
- norm_infty = fromRational . toRational
+ norm_p _ = realToFrac
+ norm_infty = realToFrac
+
+instance Normed Float where
+ norm_p _ = realToFrac
+ norm_infty = realToFrac
instance Normed Double where
- norm_p _ = fromRational . toRational
- norm_infty = fromRational . toRational
+ norm_p _ = realToFrac
+ norm_infty = realToFrac