Mach Industries doubles valuation to $3.7 billion, TechCrunch reports · Digg