A Unitary Extension of Virtual Permutations