The Packers had a solid showing in the first half against the Dolphins, spotting an early 10-3 lead, but the Dolphins were able to rally back and had a 24-17 lead late in the 4th quarter. After a Mason Crosby field goal, the Packers forced Miami to punt, and a 17-yard return by Micah Hyde got the Packers the ball at their own 40 yard line with just over 2 minutes left, but no timeouts remaining. Aaron Rodgers led the Packers rally, first converting a 4th and 10, and later a 3rd and 10. With less than 30 seconds left in the game, with the clock running, Rodgers discreetly called for a "fake spike" play, which he successfully executed with a pass to Davante Adams, who went out of bounds at the Dolphins 4 yard line with 6 seconds left. Rodgers then threw the game-winning touchdown pass to Andrew Quarless, giving the Packers a 27-24 victory.
Question: How many points did the Packers lead with by halftime?
Answer: 7