trillion floating point operations per second