Re: another tilt^2 [real numbers]