fixes #3149 #3150

Ternary operators would not have a type unless the arguments have identical types. This fix takes the promoted common type as result type. This works in particular if \bigint and int are combined.