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