Oddbean new post about | logout
 9 decimal places?