How much is 1 DEVAI (0XDEV) in Netherlands Antillean Guilder (ANG) by the latest current exchange rate?