added documentation about assertions and division-by-zero