DomainException.php and RangeCheck.php added.