Teach DAG combine to fold (buildvec (Xint2fp x)) to (Xint2fp (buildvec x))