User blog comment:DaNASCAT/Technical Update: January 20, 2016/@comment-24531999-20160125214327/@comment-126761-20160126133334

Decimal sizes have never been something we support - why would you want to do this? Generally speaking, a pixel is the smallest size unit on a screen, so I'm not sure what you would expect this to do.