theories: fix format_arg() on platforms where long double == double
theories: fix format_arg() on platforms where long double == double

Snaipe/Criterion,Snaipe/Criterion,Snaipe/Criterion,Snaipe/Criterion,Snaipe/Criterion