1--TEST--
2Explicit cast of leading numeric strings should still work without warning
3--FILE--
4<?php
5
6var_dump((int) "2px");
7var_dump((float) "2px");
8var_dump((int) "2.5px");
9var_dump((float) "2.5px");
10
11?>
12--EXPECT--
13int(2)
14float(2)
15int(2)
16float(2.5)
17
