mach numbers are rough order of magnitude sort of numbers at least when given with no decimal point in a general article discussing comparative staging velocities for a general audience news source