[Current on-ring truncation](https://github.com/0xTCG/sequre/blob/develop/stdlib/sequre/mpc/fp.codon#L78) is approximate. An exact solution would be a nice-to-have.