Perhaps we could encourage a college or university to use NetBSD as a case
study of floating point implementation for a Computer Science course in
Numerical Analysis. If they audit and verify our implementations, we'd get
a serious checkout, and they'd have a target to learn from...

	Erik <fair@clock.org>