Add double.c from Lab07.