Support __tostring() in stringify()