transform stores of floating point constants into integer stores