fix infra <-> int