std::math::nolibc

TOINT15

const double TOINT15 = 1.5 / math::DOUBLE_EPSILON;