There are two possibilities here. The first is that health is server-side, in which case you'd be better off using WPE Pro for hacks than CE. The other is that they're disguising the value, in which case you'd have to do a changed/unchanged search. Also, the value isn't always a double, so try using 4-byte and the like to see if that pops up anything.