We've yet to propose an experiment that demonstrates the inadequacy of IEEE floats if used carefully. The simulation only needs to be good enough.