wrote about the gcc optimization on floating point.