chiark / gitweb /
added some more decimal places to known minima