! Use +JSON+ as the default encoder...