paulfchristiano comments on Avoid the abbreviation “FLOPs” – use “FLOP” or “FLOP/​s” instead