Hacker News new | ask | show | jobs
by issaco 5314 days ago
Good thing it is an 80-bit FP number.