Fix wrong detection of floating points.