I love how he actually went and fetched arbitrary numbers. He didn't even mentioned which version of the languages he's working with. Like, C# 5.0 is exactly double the speed of C# 4.0 and for a higher version, C# will always be faster than F# (like C#4.0