Trying to troubleshoot the patching problem with the framerate not properly casting as float. Don't know if this will solve the problem, but it's a diagnostic step to help figure out where the problem is (or possibly isn't) occurring.