Formally Unimodular Packings for the Gaussian Wiretap Channel