Convert aviation_mach to C

Sorry, the conversion from aviation_mach to C is currently unavailable. We're working on adding this conversion.