Exactly. A devalued dollar means higher number without adjustment