def pixel.scale
import gralha-svg-render@0.1.0.1/svg.bend as Svgimport Base
5161# A packed pixel scaled by f in every channel.
5162def pixel.scale(+px: U32, +f: F32) -> U32:
5163 pixel.make(pixel.round(pixel.lane(px, 1), f), pixel.round(pixel.lane(px, 256), f), pixel.round(pixel.lane(px, 65536), f), pixel.round(pixel.lane(px, 16777216), f))