Bug fixes in paeq128/t