Fast Arithmetic Modulo 2xpy± 1