Bump base dependency.
Fixed infinite loop in definition of negate.
Added function for computing rational approximations of ExactPi values.
Added simpler constraints for converting ExactPi types to terms with the minimal context.
Added support for exactly comparing values.
Added a type-level representation of ExactPi values.
- Fixed a bug in recip.
- Fixed approximation of exact values with a negative exponent for pi.
Fixed a missing case in isZero.
Added support for converting to exact integers or exact rationals.
- Removed dependency on groups package, since it appears not to be widely used.
- Fixed a missing case alternative in recip.
- Added support for GHC 7.8.