crosscompute_integer
