proper seeming Vexor modulo