Our preprint LinQuant: Functional Invariances for Low-Precision Linear Recurrences is now public! See the paper.