Added code to handle different integer types in the Int property.

This fixes bug #203