Barrett reduction support: works with even moduli.