Fix types used in make_integer