This numeric type is a type of int or float. There is a formal name for such types: union types. Some languages have syntax for union types that would look like this: int | float. I have a draft RFC for this subject: https://wiki.php.net/rfc/union_types. Union types would be useful for other common cases as well, such as `Foo | null` or `array | Traversable`.
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
