I just did the math, and yes, this checks out.