Add function `egcd2-where-y>=0_&&_y<a' and its tests.