Comment by dedup

Depends on how you count, could be 3.xx multiplied by 16 cores.