#include template<> double zero::val = 1E-15;