Clean up HeckeMiscInteger.jl
#1848
Merged
Loading
HeckeMiscInteger.jl
#1848