Remove Real from global namespace.

I separated this part into another MR, so that !383 (merged) will be easier to read.

Here I only remove Real from global namespace. A little change, to avoid future bugs popping up.

Edited by Janek Kozicki

Merge request reports

Loading