implemented <,<=,==,>,>= procedures