The last two examples do not overflow, because the result is small enough. This was probably just a typing error in the original explanation.