[jagged-chisel]

In 16.4.1, you have the opportunity to make it 4.15% bigger.