Interface for integer numbers. The plain value of an integer is a regular PHP integer. For setting the value any PHP variable that casts to