change some forgotten double → Real

Janek Kozickirequested to merge
doubleToReal into master

This is another "small cleaning" merge request preparing for optional high precision capabilities in yade.

Edited by Janek Kozicki

Merge request reports