6.25 becomes 3.125 I think thats a pretty insanely fucking big deal. A way bigger deal that how many usd peso’s exist in circulation.