I vote for #2. From personal experience, those decimal points may be small but they can really put a dent in your pocketbook.
