Interpreter: use numeric_limits instead of FLT_MAX. Minor cleanup, and fixes compilation on some systems.