Assertion list for term "measure double precision".

Results from Ascent++: 1
benchmark CapableOfmeasure double precision 0.25