Slight tweak of the last commit: FLOP rate is now computed correctly.