Since you just did a clear tube measurement, rely on it, not a specific distance. If you find your floats set to 12.5, then increase them based upon the clear tube level, not a number. The number is a reference, not an imperative as it's based upon original stock, factory conditions.