Sorry, I'm used to the British/North American convention where '.' denotes a decimal point. However, I would not assume it is not your ISP. Corruption in a large file download can occur in many places along the pipeline and, unfortunately, can be very hard to diagnose (assuming you are the only one with the problem).