Merge branch 'main' into 802-different-bit-allocation-between-fix-and-floating-point