[chaley]

Originally Posted by ownedbycats

When copying a custom #ratings with half-stars to rating (no way to set the tag browser tooltip to a custom column), does it always round down the half-stars?

Yes, it uses // as the division operator, which returns the floor(). It then adds back the half star if appropriate.