Introduction to safe programming with numeric library