Fixed a bug relating to floating-points