It’s really no more than an additional (hyper optimized) check constraint on the type; with branch prediction it’s probably ~free.