7.10 A Useful Double