HW#4 Double Literal Verified Complete