Why 0.1 + 0.05 is not equal to 0.15

(added to FAQ)