Add concept check for mpreal type. Add previously missing doc file. Fix type promotion rules to do the right thing when one type is a class type that's implicitly convertible to a real. [SVN r67282]
