The comments on that article are frustrating because they clearly didn't read it, by proposing that a rational type is sufficient.

"We solved this 40 years ago in SmallTalk!"