Once all VADL specifications were migrated to `sdec`, we must remove the current aliasing of `decimal` to `sdec`.