overflow checks should return Bool