Use CAST_ZINT_TO_INT in some places, so we can easily spot casts
[idzebra-moved-to-github.git] / etc /
2006-02-16 Mike TaylorNew