Name	Size	Mode	Actions
DivisionByZeroException.php	736	0644	editdlrm
IntegerOverflowException.php	526	0644	editdlrm
MathException.php	156	0644	editdlrm
NegativeNumberException.php	248	0644	editdlrm
NumberFormatException.php	755	0644	editdlrm
RoundingNecessaryException.php	459	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)); } }