When I try write stylish CSS for forums.asterisk.org site, I saw they use floating point length value on pixel unit, for example: font-size: 13.1px;.
As far as I known, pixel is the smallest unit in screen, so does floating point length value make sense on pixel unit？
Screenshot
