why3 execute computes out of range values
> why3 execute foo.mlw --use mach.int.Int31 "10000000 * 100000000"
result: int31 = 1000000000000000
globals:
> why3 execute foo.mlw --use mach.int.Int31 "10000000 * 100000000"
result: int31 = 1000000000000000
globals: