Manually defined instance for ToJSON Exp to avoid Con clashing with Windows file systems.