fix(opensmt/egraph/Enode.C): use 16-digit precision when printing Enode