Do we need this rule, if we are working with floats?