[GiNaC-list] Behaviour of evalf()

[Martin Sandve Alnæs]

Is it possible to make evalf() let integer constants stay integers? I
looked in flags.h, but couldn't find anything.

(3*x).evalf()
gives
(3.0)*x

-- 
Martin