extrapolate-0.4.0: test/model/eg/overflow.out

*** Failed! Falsifiable (after 8792 tests):
T [] [] [] [-1] [-32768]