double-double-init-checkpoint-1
dd93cb0b · There are 106 bits in a double-double, not 105. · Jun 13, 2006