Source code and files for Imperial Coin (IPC).