Replace mant_dig CTFE tests with realFormat