make_rational uses common_type. More efficient when only numerator is given.