Interestingly Linux uses "Coe's ratio" (4195835/3145727) dating from 1994 to check for the FDIV bug. Coe's ratio: https://people.cs.vt.edu/~naren/Courses/CS341

Interestingly Linux uses "Coe's ratio" (4195835/3145727) dating from 1994 to check for the FDIV bug. Coe's ratio: https://people.cs.vt.edu/~naren/Courses/CS3414/assignments/pentium.pdf https://people.cs.vt.edu/~naren/Courses/CS3414/assignments/p... (3rd page) Linux code: https://github.com/torvalds/linux/blob/b0cb56cbbdb4754918c28d6d7c294d56e28a3dd5/arch/x86/kernel/fpu/bugs.c#L14 https://github.com/torvalds/linux/blob/b0cb56cbbdb4754918c28...