FP64 single core comparison against x86, reporting number of times ...