Mod switch error must be 0 when both numerator and denominator modulus are power of 2 #3
Description
Mod switch error must be 0 when both numerator and denominator modulus are power of 2 because there's no rounding error. TODO: Confirm this somwhow
{{ message }}