The question is, how does one encode coords? I don't know, but I might as well try this