A lossless encoding of BF16 weights to NF12, with speedups roughly proportional to amount of memory saved.