Implement 32/64-bit overflow checks (errors) & fixes