Is `intval` really required? PHP should convert this value automaticly to a integer, because it is a arithmetic operation.