zAbs compatible with multiplication
Z integral domain
Nb: z_struct.v is slow to compile