Hacker News Reader

Comment by mauriciob | Hacker News Reader

Is that a rounding?

  1337 * pi/100 = 42.00309...

I was wondering the same thing as Google reports a fraction

1337 * (pi%) = 42.0030938

Had I visited the link I would have seen a much longer fractional part..

Well, it's not quite "fractional". I think we'd call it a decimal approximation. Pi is irrational (http://en.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational).

Significant figures, perhaps?