That's from one of Montgomery County Public Schools' fact sheets about a particular school Mrs SB7 is applying to. I love the precision of knowing this school has 1.000 principals, no more and no less.
Now I know that their part-time teachers are measured in fifths of a full-time equivalent, so it makes sense to tot up, say, 0.6 of a teacher. But three decimals places is silly, right?
* And yes, non-geeks, this is the second time in as many days that I've titled a post using code.