The idea is that, in some situations, the diff will have more zeros than the original data, leading to better compression. trunc_prec: it zeroes the least significant bits of the mantissa of float32 ...

String manipulation and formatting functions.