The @intCast() causes undefined behavior when the target type cannot hold the resulting value. Is there