.
cocomp fpeq