add bounds checking for type conversions to signed int types

[dipinhora]

There are some type conversions happening where overflows could occur. Bounds checking should be added for these situations to ensure correct results. It might be worth considering only adding bounds checking as part of a debug build to minimize negative impact on performance for production builds.