Data.Scientific provides the number type
Scientific. Scientific numbers are
arbitrary precision and space efficient. They are represented using
The implementation uses a coefficient
c :: and a base-10 exponent
e :: . A scientific number corresponds to the
fromInteger c * 10
Note that since we're using an
Int to represent the exponent these numbers
aren't truly arbitrary precision. I intend to change the type of the exponent
Integer in a future release.
The main application of
Scientific is to be used as the target of parsing
arbitrary precision numbers coming from an untrusted source. The advantages
Rational for this are that:
Scientificis more efficient to construct. Rational numbers need to be constructed using
%which has to compute the
Scientificis safe against numbers with huge exponents. For example:
1e1000000000 ::will fill up all space and crash your program. Scientific works as expected:
read "1e1000000000" :: Scientific
Also, the space usage of converting scientific numbers with huge exponents to
Float) will always be bounded by the target type.
* Due to a regression introduced in 0.3.4.14 the RealFrac methods
and floatingOrInteger became vulnerable to a space blowup when
applied to scientifics with huge exponents. This has now been
* Fix build on GHC < 8.
* Make the methods of the Hashable, Eq and Ord instances safe to
use when applied to scientific numbers coming from untrusted
sources. Previously these methods first converted their arguments
to Rational before applying the operation. This is unsafe because
converting a Scientific to a Rational could fill up all space and
crash your program when the Scientific has a huge base10Exponent.
Do note that the hash computation of the Hashable Scientific
instance has been changed because of this improvement!
Thanks to Tom Sydney Kerckhove (@NorfairKing) for pushing me to
* fromRational :: Rational -> Scientific now throws an error
instead of diverging when applied to a repeating decimal. This
does mean it will consume space linear in the number of digits of
the resulting scientific. This makes "fromRational" and the other
Fractional methods "recip" and "/" a bit safer to use.
* To get the old unsafe but more efficient behaviour the following
function was added: unsafeFromRational :: Rational -> Scientific.
* Add alternatives for fromRationalRepetend:
:: Int -- ^ limit
-> Either (Scientific, Rational)
(Scientific, Maybe Int)
:: Rational -> (Scientific, Maybe Int)
Thanks to Ian Jeffries (@seagreen) for the idea.
* Dropped upper version bounds of dependencies
because it's to much work to maintain.
* Remove unused ghc-prim dependency.
* Added unit tests for read and scientificP
* Replace use of Vector from vector with Array from primitive.
* Export scientificP :: ReadP Scientific
(Courtesy of Shlok Datye @shlok)
* Fix build for base < 4.8.
* Some minor performance improvements.
* Support criterion-1.2
* Support base-4.10
* Support tasty-ant-xml-1.1.0
* Tighten lower bound on vector from 0.5 to 0.7 because building with
vector < 0.7 results in a build error.
* Move the internal modules Math.NumberTheory.Logarithms and
GHC.Integer.Logarithms.Compat to their own package integer-logarithms so
other people can share that code.
* Support QuickCheck-2.9.
* Make bytestring-builder's installation conditional based on a Cabal flag.
* Unconditionally export Data.ByteString.Builder.Scientific.
The bytestring-builder cabal flag has been removed.
Depend on bytestring-builder for backwards compatibility for GHC < 7.8.
* Made toDecimalDigits more similar to floatToDigits
toDecimalDigits 0 == (,1)
toDecimalDigits 0 == (,0)
Numeric.floatToDigits 10 (0 :: Double) == (,0)
* Introduce a special case for 0 in fromFloatDigits
fromFloatDigits 0 = 0
This should fix https://github.com/bos/aeson/issues/369
The following are all a courtesy of Oleg Grenrus (phadej):
* Support GHC-8.0.1
* Support binary-0.8
* Enable Travis continuous integration
* Improved performance of toDecimalDigits by 13%.
* Fix build with integer-simple.
* Fix build on GHC-7.4.
Courtesy of Adam Bergmark..
* Fix build on GHC-7.0.4
* Added fromRationalRepetend & toRationalRepetend
for safely converting from and to rationals
which have a repeating decimal representation like:
1 % 28 = 0.03(571428).
* Added a Binary instance.
* Various performance improvements.
* Support vector-0.11
* Support tasty-0.11
* Support criterion-220.127.116.11
* Support QuickCheck-2.8.
* Fixed both the
Prelude Data.Scientific> reads "0.0" :: [(Data.Scientific.Scientific,String)]
problem and the
read " 8" :: Scientific fails, while read " 8" :: Double succeeds
Courtesy of neongreen.
* Fixed bug in the x / y method for Scientific. Since I was using
the default implementation: `x * recip y` the operation would
diverge when `recip y` had an infinite decimal output.
This shouldn't happen when the result of / is finite again.
For example: 0.6 / 0.3 should yield 2.0.
This is now fixed by using the following implementation:
`x / y = fromRational $ toRational x / toRational y`
* Fixed bug when converting the Scientific:
`scientific 0 someBigExponent` to a bounded Integral using toBoundedInteger
or to a bounded RealFloat using toBoundedRealFloat.
If someBigExponent was big enough to trigger the big-exponent protection
the beforementioned functions didn't return 0.
This is fixed by explicitly handling a coefficient of 0.
* Relax upper version bounds of base and deepseq
for the test suite and benchmarks.
* Add support for `deepseq-1.4`.
* Fix parsing of empty digit string (#21).
* Allow newer tasty, tasty-hunit and criterion.
* Add the isFloating or isInteger predicates.
Courtesy of Zejun Wu (@watashi).
* Add the toRealFloat' and toBoundedInteger functions.
Courtesy of Fujimura Daisuke (@fujimura).
* Enable package to link with integer-simple instead of
integer-gmp using the -finteger-simple cabal flag.
Courtesy of @k0ral.
* Parameterize inclusion of the Data.ByteString.Builder.Scientific
module using the bytestring-builder flag. Disabling this flag
allows building on GHC-7.0.4 which has bytestring-0.9 installed
* Add the floatingOrInteger function
* Fix build on GHC-7.0.4
* More efficient and better behaving magnitude computation
* Lower the number of cached magnitudes to 324 (same as GHC.Float)
* Don't normalize on construction but do it when pretty-printing
instead. Also provide a manual normalize function.
* Improve efficiency of toRealFloat
* Added note about caching magnitudes
* Dropped dependency on arithmoi
* Make benchmark easier to build
* Add junit XML output support (for Jenkins)
* Lower the minimal QuickCheck version.
* Make sure sized exponents are generated in the QuickCheck tests.
* Fix build for bytestring-0.10.0.*
* Fix a DoS vulnerability that allowed an attacker to crash the
process by sending a scientific with a huge exponent like
* Fix various RealFrac methods.
* Cache some powers of 10 to speed up the magnitude computation.
* Normalize scientific numbers on construction.
* Move the Text Builder to its own module &
provide a ByteString builder
* Added more documentation
* Widen the dreaded pointlessly tight upper bounds
* Support the latest versions of smallcheck and tasty
* added deriving data
* Loosen upper bounds on package versions
* Fixed bugs & Changed API
* Support building the library on GHC >= 7.0.1
* Simplification in the Show instance
* Optimization in fromRealFloat
* Initial commit