First implementation of fraction comparison ><=