Added converion to int() type (NOT all compilers do the automatic conversion)