[GiNaC-list] Behaviour of evalf()

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