Hi, You pointed out many valid issues here. After taking a few steps back, I wonder indeed if Gina's proposition [1] wouldn't be enough. Also, as Rowan said, knowing what these functions should exactly do is complex and I'm afraid we won't find a happy middle ground that suits everyone and every situation. Based on this thread feedback and suggestions, the use cases seem niche, for is_representable_as_float() at least.
Best, Alexandre Daubois [1] https://externals.io/message/128032
