error_number(exception)
public

Must return the Mysql error number from the exception, if the exception has an error number.