real toReal(num N)
import util::Math;
rascal>import util::Math; ok rascal>toReal(12) real: 12. rascal>toReal(3.14) real: 3.14