Add precision test to testmanyv.