This is correct: given a computation, you're allowed to execute it as far as you like. You're just not allowed to consider it "after executing infinitely many steps". So you're allowed to consider a real number expanded to n decimal places, for any n.
