Teach DAG combine to fold (trunc (fptoXi x)) to (fptoXi x)