Re: Real interval halving