No, it should not overflow, indeed.