zz/x/y >= z/x/y ! (double z :-) )