Fix: Need to include <cfloat> in RandomTest.cpp
Fix: Remove invalid ## operator in Trace.h