A program certifying you know how to use Double :)