Do you mean is_real -> is_comparable?  What's the difference?