Add explicit construct_integer tests