Proj can be <0 for Nat/GMP optimisation!