A question about currency - I did some brief research on 17th Century Portuguese economics but I could not turn up any outright evidence on what the currency was. Is the native coinage Euros or something else?