Yes, exactly. As soon as a Float is automatically created from a float literal with default precision, the extra digits are junk. If I'm not mistaken, this was the true original purpose of the subs parameter.