Givaro
Test List
File test-random.C
we test bounds for random Integers