the place or establishment in which the king's money is coined. See COINING.