Added support for PHP array cast operator "(array) <value>"