* Cast  to an int, as it should be.