New post: Comparing rational numbers without overflow