I’ve got an integer number that I want to split into six different integers so that their proportions match given weights as closely as possible. Example below:

What’s the cleanest way to do it? I’ve done it using a complicated combination of ROUNDDOWN and RANK, but it’s not 100% fool-proof.