Remove another wrongly committed file.
small rounding error in floating point