Add double precision version of aobench.