Fixed stack offsetting for local variables
Removed invalid fp load logic
x86 float <--> double casting
float <--> double need casts insertion
Added float truncation and implicit (double) fp examples