let
anisotropic_cast ~size v =
if
all_values ~size v
then
top_int
else
v