Raw values of members in PHP

<?php

enum Season: int {
    case Summer = 0;
    case Fall = 1;
    case Winter = 2;
    case Spring = 3;
}

$winter = Season::Winter->value;
//winter is 2

echo "winter is ", $winter;