Additional serialisation formats for play-json