It turns out that GetNegativeEndZ may be <0, leading to undefined behaviour

when the value is used as 'half-length'
replacing GetNegativeEndZ by GetPositiveEndZ fixes the problem
because GetPositiveEndZ is the user value that corresponds to half-length