You are correct, 0.4254 rounded to the nearest thousands would be 0.425:)
9.4m questions
12.2m answers