real a = 5.0; do (int i = 5, 0, -1) { a += 5.0; } nat b = a as nat; str user_string = readln(); print(a.toS()); print(b.toS()); print(user_string);