use return type from I.Call
overflow checks should return Bool