At least for SA4D, it's definitely 3 8 bit raw images, I've converted them manually with GIMP:
24 bit:
HAM:
Here's a link to a 24 bit 4K render for SA4D which unfortunately had some glitches, apparently rendering a 3840x2160 image wasn't something they had planned on for some reason...
