If you want that, wrap them in different record types. I understand this won't allow you to use them directly in calculations, but that would not be possible either if the compiler refused implicit type casting for such types. The reason is that in Pascal, every type is implicitly typecasted to the native integer type when performing calculations.