updated the micro benchmark for FPU