Avoid `Real` overflow in `middle`