this coin is federal (fedcoin)