Name	Size	Mode	Actions
DivisionByZeroException.php	874	0644	editdlrm
IntegerOverflowException.php	612	0644	editdlrm
MathException.php	268	0644	editdlrm
NegativeNumberException.php	248	0644	editdlrm
NumberFormatException.php	799	0644	editdlrm
RoundingNecessaryException.php	508	0644	editdlrm

126) { $char = \strtoupper(\dechex($ord)); if ($ord < 10) { $char = '0' . $char; } } else { $char = '"' . $char . '"'; } return new self(sprintf('Char %s is not a valid character in the given alphabet.', $char)); } }