pub const PANIC_NUM_DIV_BY_ZERO: u64 = 1;
Number of the message that signifies a panic due to a division by zero.
This is only an implementation detail and should be removed later.