@@ -741,6 +741,8 @@ tb_decimal :: (Integral a, Show a) => a -> Bool
741741tb_decimal = (TB.toLazyText . TB.decimal) `eq` (TL.pack . show)
742742
743743tb_decimal_integer (a::Integer) = tb_decimal a
744+tb_decimal_integer_big = forAll big tb_decimal
745+ where big = choose (20::Int,200) >>= \e -> choose (10^(e-1),10^e::Integer)
744746tb_decimal_int (a::Int) = tb_decimal a
745747tb_decimal_int8 (a::Int8) = tb_decimal a
746748tb_decimal_int16 (a::Int16) = tb_decimal a
@@ -1252,6 +1254,7 @@ tests =
12521254 testProperty "tb_decimal_int32" tb_decimal_int32,
12531255 testProperty "tb_decimal_int64" tb_decimal_int64,
12541256 testProperty "tb_decimal_integer" tb_decimal_integer,
1257+ testProperty "tb_decimal_integer_big" tb_decimal_integer_big,
12551258 testProperty "tb_decimal_word" tb_decimal_word,
12561259 testProperty "tb_decimal_word8" tb_decimal_word8,
12571260 testProperty "tb_decimal_word16" tb_decimal_word16,