gallivm: (trivial) do division by 1000 with int64