try improving check_top_bit error message (#53166)
Fixes #30247
@staticfloat this was your issue, so what do you think of this? I think
the main problem was already solved (showing the wrong type), but I am
wondering if this wording is still clearer, since it tries to align it
with functions users might actually have encountered (trunc, convert,
signbit)
