...

What I think is needed is some kind of support for scaled integers.

Good idea. Each one probably needs its own alpha blending functor. I wonder how to do that generically?