This project is archived. Its data is read-only. This project is read-only.
double-double-init-checkpoint-1
dd93cb0b · There are 106 bits in a double-double, not 105. · Jun 13, 2006