Fixed some floating point generation