@karawynn Fun detail though:
"In the late twentieth century, there was absolutely no need to double-check whether you TI-30 was accurately reporting the square root of seventeen."
Probably not your TI-30, but there was a famous incident where square roots in particular were being incorrectly calculated by Microsoft Excel on certain Intel processors, so uh, yeah there's definitely a need to double check :)