Brown Driver Briggs

1. double, a doubling