8.2.40 mustBeReal

Not documented