Why is no-overflow needed?