Traits/Interfaces can easily solve the redefinition of points in geometry packages. All I want is to use something that has getx and gety, I don't rally care about the it's type hierarchy! see for e.g. this: https://github.com/mauro3/Traits.jl
About replacing BigInts with (some small number) X 64 bit ints -- so the thing is tha BigInts are not the bottleneck here since they are only rarely used... so I think it won't pay for the effort
