Yes, you're right - that can be confusing until you understand the convention used in Pentax dslrs, and probably others.
When you see a whole number 1000 without any double hash ", then that whole number is to be placed as a denominator in a fraction with 1 as the numerator and adding the sec. measurement unit, i.e. 1/1000sec
So seeing 4 without a " means 1/4" which equals 0.25sec. Seeing 0.4" means 0.4sec.
I think this situation occurred because photographers are most often talking about fractions of a second when dealing with exposures. So it was common to list the denominator, like 1000, and have everybody understand that that meant 1/1000" without putting a tiny fraction in an lcd window. At least thats my take on it